 |
Prof. Dr. Michael Stoll
Lehrstuhl für Computeralgebra |
|
Lehre
| ⇒ | Vorlesung „Einführung in die Computeralgebra“ |
| ⇒ | Staatsexamenskurs Algebra vertieft |
| ⇒ | Oberseminar Arithmetische Geometrie (mit Prof. Dettweiler) |
| ⇒ |
Mit Links zu Skripten |
Lehramt Gymnasium mit Mathematik
Forschung / Research
| ⇒ | The Mordell conjecture 100 years later, MIT, July 8 – 12, 2024. |
| ⇒ | Formalising algebraic geometry, AIM (online), June 24 – 28, 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