Start date cannot be after end date.
Formalization Of Mathematics Summer School: Logic (Chapter 3 of MIL)
Presenter
- Jeremy Avigad
June 6, 2023
SLMath
Cell-average based neural network method for time dependent problems
Presenter
- Jue Yan
June 5, 2023
ICERM
Neural architecture search for scientific machine learning
Presenter
- Romit Maulik
June 5, 2023
ICERM
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