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.
All talks
-
Title: Scalable quantum computing architectures based on trapped ions
Speaker:
Link:
-
Title: Topological circuit optimization
Speaker:
Link:
-
Title: Circuit diagrams with < q|pic >
Speaker:
Link:
-
Title: Software tutorial: A tutorial on Quipper
Speaker:
Link:
-
Title: Synthesis of quaternary quantum circuits using optimized gate realizations
Speaker:
Link:
-
Title: Trees, buildings, and navigation in the unitary group
Speaker:
Link:
-
Title: Software demo: ReVer
Speaker:
Link:
-
Title: Software demo: meQuanics
Speaker:
Link:
-
Title: Software demo: Quantum++
Speaker:
Link:
-
Title: Toward automatic verification of quantum programs
Speaker:
Link:
-
Title: Ancilla-free reversible logic synthesis using symbolic methods
Speaker:
Link:
-
Title: Garbage collection for reversible circuit compilation
Speaker:
Link:
-
Title: Software demo: QGL
Speaker:
Link:
-
Title: Small codes for magic state distillation
Speaker:
Link:
-
Title: A framework for approximating qubit unitaries
Speaker:
Link: