This is a searchable repository of links to math videos. The database is regularly updated with videos from the following websites. If there is a source of videos which you would like to be added to this list, please send me an email at admin@videoarxiv.org.
  1. Simons Center
  2. Mathtube
  3. MSRI
  4. IHES
  5. Fields Institute
  6. Banff
  7. IAS

All talks

  1. Title:
    Scalable quantum computing architectures based on trapped ions

    Speaker:

    Link:

  2. Title:
    Topological circuit optimization

    Speaker:

    Link:

  3. Title:
    Circuit diagrams with < q|pic >

    Speaker:

    Link:

  4. Title:
    Software tutorial: A tutorial on Quipper

    Speaker:

    Link:

  5. Title:
    Synthesis of quaternary quantum circuits using optimized gate realizations

    Speaker:

    Link:

  6. Title:
    Trees, buildings, and navigation in the unitary group

    Speaker:

    Link:

  7. Title:
    Software demo: ReVer

    Speaker:

    Link:

  8. Title:
    Software demo: meQuanics

    Speaker:

    Link:

  9. Title:
    Software demo: Quantum++

    Speaker:

    Link:

  10. Title:
    Toward automatic verification of quantum programs

    Speaker:

    Link:

  11. Title:
    Ancilla-free reversible logic synthesis using symbolic methods

    Speaker:

    Link:

  12. Title:
    Garbage collection for reversible circuit compilation

    Speaker:

    Link:

  13. Title:
    Software demo: QGL

    Speaker:

    Link:

  14. Title:
    Small codes for magic state distillation

    Speaker:

    Link:

  15. Title:
    A framework for approximating qubit unitaries

    Speaker:

    Link: