Video Lectures AllHistorical StudiesMathematicsNatural SciencesSocial ScienceProspects in Theoretical PhysicsFriends of the InstituteWAMMore search optionsTitleYearTags Separate tags with a comma. SpeakerItems per page5102550Sort byDate AscDate DescTitle AscTitle Descvideo 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 video lecture Lifting Projective Galois Representations October 01, 2012Stefan Patrikis Read More PaginationFirst page« FirstPrevious page‹ Previous… Page 367 Page 368 Page 369 Page 370 Current page 371 Page 372 Page 373 Page 374 Page 375…Next pageNext ›Last pageLast »
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
