Start date cannot be after end date.
Efficient Branching Rules for Optimizing Range and Order-Based Objective Functions
Presenter
- Andrea Lodi
August 30, 2024
ICERM
Karel Martens - Philosophy before mathematics: on equity principles and transport - IPAM at UCLA
Presenter
- Karel Martens
January 22, 2024
IPAM
Formalization Of Mathematics Summer School: Integration and Complex Analysis
Presenter
- Heather Macbeth
June 16, 2023
SLMath
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Polynomials and Algebraic Number Theory
Presenter
- Thomas Browning
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Finiteness and Graph Theory
Presenter
- Kyle Miller
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: Commutative Algebra and Linear Algebra
Presenter
- Patrick Massot
June 12, 2023
SLMath
Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL)
Presenter
- Jeremy Avigad
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Lecture and Discussion
Presenter
- Jeremy Avigad
June 5, 2023
SLMath