 |
Prof. Dr. Michael Stoll
Lehrstuhl für Computeralgebra |
|
Lehre
| ⇒ | Vorlesung „Lineare Algebra 1“ |
|
Hier geht's zum Lernzentrum |
|
| ⇒ | Lecture Course „Foundations of Higher Mathematics“ (with Professor Grüne) |
| ⇒ | Oberseminar Arithmetische Geometrie (mit Prof. Dettweiler) |
| ⇒ |
Mit Links zu Skripten |
Lehramt Gymnasium mit Mathematik
Forschung / Research
| ⇒ | Arithmetic Statistics for Algebraic Objects, Mathematisches Forschungsinstitut Oberwolfach, November 9 – 14, 2025. |
| ⇒ | Past Events |
| ⇒ | Rational Points Workshops: 2005 | 2007 | 2010 | 2013 | 2015 | 2017 | 2019 | 2022 | 2023 | 2025 |
| ⇒ | 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