Computer Science ∩ Mathematics (Type Theory) - Computerphile
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch ...
Computerphile
Algebraic geometry 1 Introduction
This lecture is part of an online algebraic geometry course (Berkeley math 256A fall 2020), based on chapter I of "Algebraic geometry" by Hartshorne. The full set ...
Richard E. BORCHERDS
CDH methods in K-theory and Hochschild homology - Charles Weibel
Charles Weibel Rutgers University; Member, School of Mathematics November 11, 2013 This is intended to be a survey talk, accessible to a general ...
Institute for Advanced Study
Teena Gerhardt - 1/3 Algebraic K-theory and Trace Methods
Algebraic K-theory is an invariant of rings and ring spectra which illustrates a fascinating interplay between algebra and topology. Defined using topological ...
Institut des Hautes Études Scientifiques (IHÉS)
Sir Michael Atiyah - From Algebraic Geometry to Physics - a Personal Perspective [2010]
Slides for this talk: https://drive.google.com/open?id=1JAtO2i5e-G3d4DuQ0OHuu_gkUCjLY7Rc Name: Michael Atiyah Event: Simons Center Building ...
Graduate Mathematics
A Mathematical Theory of Quantum Sheaf Cohomology - Ron Donagi
Ron Donagi University of Pennsylvania April 13, 2012 For more videos, visit http://video.ias.edu.
Institute for Advanced Study
Cohomology for computer science - Alex Lubotzky
https://www.math.ias.edu/seminars/abstract?event=83684.
Institute for Advanced Study
Framed motives of algebraic varieties - Ivan Panin
Ivan Panin Steklov Institute of Mathematics, St. Petersburg; Member, School of Mathematics March 25, 2015 This is joint work with G .Garkusha. Using the ...
Institute for Advanced Study
B. Bhatt - Prisms and deformations of de Rham cohomology
Prisms are generalizations of perfectoid rings to a setting where "Frobenius need not be an isomorphism". I will explain the definition and use it to construct a ...
Institut des Hautes Études Scientifiques (IHÉS)
Finite or infinite? One key to algebraic cycles - Burt Totaro
Burt Totaro University of California, Los Angeles; Member, School of Mathematics February 2, 2015 Algebraic cycles are linear combinations of algebraic ...
Institute for Advanced Study
Automorphic Galois representations and Langlands correspondences
Speaker: Michael Harris, Columbia University Seminar: Fields Number Theory Seminar ...
Fields Institute
BAG1.1. Toric Varieties 1 - Affine Varieties over C
Edit: Not quite a typo at 4:45: for the V function, we have V(I n J)=V(I) u V(J). The vanishing points are unchanged if we replace V(I n J) with V(IJ), but if you get ...
MathDoctorBob
Curtis McMullen: Manifolds, topology and dynamics
Abstract: This talk will focus on two fields where Milnor's work has been especially influential: the classification of manifolds, and the theory of dynamical systems ...
The Abel Prize
Alain Connes: Towards a Weil cohomology
The lecture was held within the framework of the Hausdorff Trimester Program: Non-commutative Geometry and its Applications and the Workshop: Number ...
Hausdorff Center for Mathematics
Cycles in the de Rham cohomology of abelian varieties - Yunqing Tan
Topic: Cycles in the de Rham cohomology of abelian varieties Speaker: Yunqing Tang, Member, School of Mathematics Time/Room: 2:15pm - 2:30pm/S-101 ...
Institute for Advanced Study
Going Over NMSU's Math Courses
I'd like to take some math courses through the math department while going through gradschool, so I figured I'd take a look at what they had to offer. Link to ...
Andrew Dotson