Start date cannot be after end date.
Formalization Of Mathematics Summer School: Lecture and Discussion
Presenter
- Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean
Presenter
- Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL)
Presenter
- Heather Macbeth
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Introduction to Formalized Mathematics
Presenter
- Patrick Massot
June 5, 2023
SLMath
Commutative Algebra And Its Interaction With Algebraic Geometry Summer School: Computing Local Cohomology of Polynomial Rings of Characteristic Zero
Presenter
- Uli Walther
June 1, 2023
SLMath
Commutative Algebra And Its Interaction With Algebraic Geometry Summer School: Differential Operators and Singularities
Presenter
- Jack Jeffries
June 1, 2023
SLMath
Commutative Algebra And Its Interaction With Algebraic Geometry Summer School: Lecture
Presenter
- Juan Migliore
June 1, 2023
SLMath
Commutative Algebra And Its Interaction With Algebraic Geometry Summer School: Symbolic Powers II
Presenter
- Eloísa Grifo
May 31, 2023
SLMath
Commutative Algebra And Its Interaction With Algebraic Geometry Summer School: Symbolic Powers I
Presenter
- Alexandra Seceleanu
May 31, 2023
SLMath
Commutative Algebra And Its Interaction With Algebraic Geometry Summer School: Differential Graded Algebra Resolutions
Presenter
- Claudia Miller
May 30, 2023
SLMath
Commutative Algebra And Its Interaction With Algebraic Geometry Summer School: Liaison and Residual Intersection III
Presenter
- Bernd Ulrich
May 30, 2023
SLMath
Commutative Algebra And Its Interaction With Algebraic Geometry Summer School: Lecture
Presenter
- Anurag Singh
May 30, 2023
SLMath