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: 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:
-
Title: Any finite group acts freely and homologically trivially on a product of spheres
Speaker:
Link:
-
Title: A preliminary report on the K(2)-local Picard group at p=2
Speaker:
Link:
-
Title: Waldhausen K-theory and topological coHochschild homology
Speaker:
Link:
-
Title: Accessible model structures
Speaker:
Link:
-
Title: New Concordance Classes From Infection By A String Link
Speaker:
Link:
-
Title: A retraction of polytopes and integral homology of toric orbifolds.
Speaker:
Link:
-
Title: Geodesics in the space of Kahler metrics and volume forms
Speaker:
Link:
-
Title: Stable umbilical points on perturbations of the sphere in C^2
Speaker:
Link: