video lecture Symplectic Geometry and Quantum Noise October 05, 2012 Leonid Polterovich We discuss a quantum counterpart, in the sense of the Berezin-Toeplitz quantization, of certain constraints on Poisson brackets coming from "hard" symplectic geometry. It turns out that they can be interpreted in terms of the quantum noise of... Read More
video lecture Hope for a Type-Theoretic Understanding of Zero-Knowledge October 04, 2012 Noam Zeilberger Read More
video lecture Type Classes for Mathematical Formalizations in Coq October 03, 2012 Matthieu Sozeau Read More
video lecture The Relative Fukaya Category, Symplectic and Quantum Cohomology October 03, 2012 Nicolas Sheridan Read More
video lecture Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications October 03, 2012 Arul Shankar Read More
