Start date cannot be after end date.
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: Surjectivity and Multistationarity for Networks with Monomial Parametrizations. Basics on Gale Duality and Oriented Matroids
Presenter
- Alicia Dickenstein
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Polynomials and Algebraic Number Theory
Presenter
- Thomas Browning
June 15, 2023
SLMath
Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: Injective Networks
Presenter
- Elisenda Feliu
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Galois Theory
Presenter
- Thomas Browning
June 14, 2023
SLMath
Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: Laplacian Matrices, Linear Elimination and Rational Parametrizations
Presenter
- Elisenda Feliu
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: Finiteness and Graph Theory
Presenter
- Kyle Miller
June 14, 2023
SLMath
Algebraic Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: "Binomial Ideals and Monomial Parametrizations"
Presenter
- Alicia Dickenstein
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: From Lean to Informal Mathematics
Presenter
- Kyle Miller
June 13, 2023
SLMath
Algebraic Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: Invariants and Elimination of Variables, Sparseness
Presenter
- Alicia Dickenstein
June 13, 2023
SLMath
Algebraic Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: "Polynomials in Several Variables: Algebra, Geometry, Effective Computations"
Presenter
- Timo de Wolff
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Hierarchies (Chapter 7 of MIL) Continued, and Differential Calculus (Chapter 9 of MIL)
Presenter
- Patrick Massot
June 13, 2023
SLMath