Video Lectures AllHistorical StudiesMathematicsNatural SciencesSocial ScienceProspects in Theoretical PhysicsWomen and MathematicsFriends of the InstituteMore search optionsTitleYearTags Separate tags with a comma. SpeakerItems per page5102550Sort byDate AscDate DescTitle AscTitle Descvideo lecture Hope for a Type-Theoretic Understanding of Zero-Knowledge October 04, 2012Noam Zeilberger Read More video lecture Iwasawa Theory for Unitary Groups October 04, 2012Xin Wan Read More video lecture Type Classes for Mathematical Formalizations in Coq October 03, 2012Matthieu Sozeau Read More video lecture Inernal Languages for Higher Toposes October 03, 2012Michael Shulman Read More video lecture The Relative Fukaya Category, Symplectic and Quantum Cohomology October 03, 2012Nicolas Sheridan Read More video lecture Random Band Matrices: Local Regime October 03, 2012Tetiana Shcherbyna Read More video lecture Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications October 03, 2012Arul Shankar Read More video lecture Type Systems October 03, 2012Vladimir Voevodsky Read More video lecture Plug your ears! Graph isomorphism, siren of the algebraic seas, calls to your quantum helmsman. October 02, 2012Alex Russell Shor's algorithm, the hallmark quantum algorithmic breakthrough, has been successfully generalized to address a variety of related algebraic problems. Generalizations to nonabelian settings could have striking consequences, but such efforts have... Read More video lecture Tangential Lipschitz Gain for Holomorphic Functions October 01, 2012Sivaguru Ravisankar Read More PaginationFirst page« FirstPrevious page‹ Previous… Page 320 Page 321 Page 322 Page 323 Current page 324 Page 325 Page 326 Page 327 Page 328…Next pageNext ›Last pageLast »
video lecture Hope for a Type-Theoretic Understanding of Zero-Knowledge October 04, 2012Noam Zeilberger Read More
video lecture Type Classes for Mathematical Formalizations in Coq October 03, 2012Matthieu Sozeau Read More
video lecture The Relative Fukaya Category, Symplectic and Quantum Cohomology October 03, 2012Nicolas Sheridan Read More
video lecture Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications October 03, 2012Arul Shankar Read More
video lecture Plug your ears! Graph isomorphism, siren of the algebraic seas, calls to your quantum helmsman. October 02, 2012Alex Russell Shor's algorithm, the hallmark quantum algorithmic breakthrough, has been successfully generalized to address a variety of related algebraic problems. Generalizations to nonabelian settings could have striking consequences, but such efforts have... Read More
video lecture Tangential Lipschitz Gain for Holomorphic Functions October 01, 2012Sivaguru Ravisankar Read More