 |
Prof. Dr. Michael Stoll
Lehrstuhl für Computeralgebra |
|
Lehre
| ⇒ | Forschungsfreisemester |
| ⇒ |
Mit Links zu Skripten |
Lehramt Gymnasium mit Mathematik
Forschung / Research
| ⇒ | Rational Points 2025, Schney, July 27 – August 2, 2025. |
| ⇒ | Swiss Number Theory Days 2024, Brig, October 11 – 12, 2024. |
| ⇒ | Past Events |
| ⇒ | Rational Points Workshops: 2005 | 2007 | 2010 | 2013 | 2015 | 2017 | 2019 | 2022 | 2023 |
| ⇒ | Mitglied des Auswahlausschusses des Bundeswettbewerbs Mathematik (2008–) |
| ⇒ | Ordentliches Mitglied der Sektion III der Bayerischen Akademie der Wissenschaften (2020–) |
| (Regular member of the Bavarian Academy of Sciences and Humanities) |
| ⇒ | Reviewer for contributions to Mathlib, the mathematical library of the Lean Theorem Prover (2024–) |
| ⇒ | Experimental Mathematics (2024–) |
| ⇒ | International Journal of Number Theory (2020–) |
| ⇒ | Journal de Théorie des Nombres de Bordeaux (2020–) |
| ⇒ |
A Genus 2 Curve over Q with (at least) 642 Rational Points |
| ⇒ |
A Genus 2 Curve over Q with a Hyperelliptic Torsion Packet of Size 34 |
Computer Programs and Data