- 👋 Hi, I’m @MichaelStollBayreuth (Michael Stoll)
- 👀 I’m a mathematics professor at Bayreuth University, Germany. My research area is Arithmetic Geometry, with a focus on explicit computations.
- 📫 More information is on my web page at https://www.mathe2.uni-bayreuth.de/stoll/
Popular repositories Loading
-
EulerProducts
EulerProducts PublicAn attempt at formalizing facts on Euler products in Lean
-
LegendreQF
LegendreQF PublicLean code formalizing a proof of Legendre's theorem on diagonal ternary quadratic forms
Lean 3
-
FunctionFields
FunctionFields PublicMaterial on algebraic function fields of one variable in Lean/Mathlib
Lean 3
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.