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 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 338 Page 339 Page 340 Page 341 Current page 342 Page 343 Page 344 Page 345 Page 346…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
