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 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 video lecture Sketching and Streaming Algorithms October 01, 2012Jelani Nelson Read More PaginationFirst page« FirstPrevious page‹ Previous… Page 540 Page 541 Page 542 Page 543 Current page 544 Page 545 Page 546 Page 547 Page 548…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
