/explore
|
You are here 
|
thatsmaths.com | ||
| | | | |
xenaproject.wordpress.com
|
|
| | | | | A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern mathematics I personally am a member of the Lean community because of its phenomenal mathematics library mathlib, which was born... | |
| | | | |
www.jeremykun.com
|
|
| | | | | Finding solutions to systems of polynomial equations is one of the oldest and deepest problems in all of mathematics. This is broadly the domain of algebraic geometry, and mathematicians wield some of the most sophisticated and abstract tools available to attack these problems. The elliptic curve straddles the elementary and advanced mathematical worlds in an interesting way. On one hand, it's easy to describe in elementary terms: it's the set of solutions to a cubic function of two variables. | |
| | | | |
jdh.hamkins.org
|
|
| | | | | Philosophy of Mathematics, Exam Paper 122, Oxford University Wednesdays 12-1 during term, Radcliffe Humanities Lecture Room Joel David Hamkins, Professor of Logic Lucy, Charles - Personifications o... | |
| | | | |
vitalyobukhov.wordpress.com
|
|
| | | Visit the post for more. | ||
