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: Isogeometric Analysis
Speaker:
Link:
-
Title: Representation and Approximation of Splines: The Bérnstein-Bezier Form
Speaker:
Link:
-
Title: Finite Element Differential Complexes
Speaker:
Link:
-
Title: Introduction to equivariant cohomology and GKM theory
Speaker:
Link:
-
Title: Improving the Fidelity of CNOT Circuits on NISQ Hardware
Speaker:
Link:
-
Title: The Munich Quantum Toolkit (MQT) - A Summary of Design Automation Tools and Software for Quantum Computing
Speaker:
Link:
-
Title: Catalytic Embeddings
Speaker:
Link:
-
Title: Verifying Graphical Quantum Calculi in a Proof Assistant
Speaker:
Link:
-
Title: Efficiently achieving fault-tolerant qudit quantum computation via gate teleportation
Speaker:
Link:
-
Title: Breaking the cubic barrier in the Solovay-Kitaev algorithm
Speaker:
Link:
-
Title: Quantum circuit completeness
Speaker:
Link:
-
Title: Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algorithm
Speaker:
Link:
-
Title: Efficiency of quantum gate-sets and random t-designs
Speaker:
Link:
-
Title: Minimal entanglement for injecting diagonal gates
Speaker:
Link:
-
Title: Modalities in Proto-Quipper
Speaker:
Link: