Prof. Dr. Michael Stoll

Lehrstuhl für Computeralgebra
Mathematisches Institut
Universität Bayreuth
95440 Bayreuth, Germany

Büro: 3.2.02.739 im Gebäude NW II
Sprechstunde: nach Vereinbarung
Email: Michael.Stoll plus the usual ending (@uni-bayreuth.de)
Telefon: +49-(0)921-55 3387 oder 3388 (Katharina Ziegler, Sekretariat)
Public GPG Key
Github
ORCID

Lehre

Lehre im Wintersemester 2026/2027

⇒	Vorlesung „Einführung in die Zahlentheorie und algebraische Strukturen“
	Hier geht's zum Lernzentrum
⇒	Vorlesung „Mathematik für die Naturwissenschaften I“
⇒	Seminar „Formalisierung von Aussagen aus Algebra, Analysis und Zahlentheorie“
⇒	Oberseminar Arithmetische Geometrie (mit Prof. Dettweiler)

Lehre in Bayreuth (Wintersemester 2008/2009 bis Sommersemester 2026)

⇒	Mit Links zu Skripten

Course notes (of courses taught at Jacobs University)

Teaching at Jacobs University (Fall 2002 to Spring 2008)

Lehramt Gymnasium mit Mathematik

Informationen zum Studiengang

Forschung / Research

Papers and Preprints

People and Activities

Events

⇒	Rational Points 2027, Schney, July 18 – 24, 2027.
⇒	Modular Curves, Geometry, and Arithmetic, Banff, Canada, April 4 – 9, 2027.
⇒	Past Events
⇒	Rational Points Workshops: 2005 \| 2007 \| 2010 \| 2013 \| 2015 \| 2017 \| 2019 \| 2022 \| 2023 \| 2025 \| 2027

Talk notes

Memberships

⇒	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)

Editor Positions (and similar)

⇒	Reviewer for contributions to Mathlib, the mathematical library of the Lean Theorem Prover (2024–)
⇒	Experimental Mathematics (2024–2026)
⇒	International Journal of Number Theory (2020–)
⇒	Journal de Théorie des Nombres de Bordeaux (2020–)

Genus 2 Curve Records

⇒	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

Magma related directory

Programs (e.g. ratpoints)

Genus 2 curves with small odd discriminant

Michael Stoll, 6. September 2026