Prof. Dr. Michael Stoll

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

Büro: im Gebäude NW II
Sprechstunde: Montag 14-15 Uhr
Email: Michael.Stoll plus the usual ending (
Telefon: +49-(0)921-55 3387 oder 3388 (Katharina Ziegler, Sekretariat)
Public GPG Key

Lehre im Sommersemester 2024
Vorlesung „Einführung in die Computeralgebra“
Staatsexamenskurs Algebra vertieft
Oberseminar Arithmetische Geometrie (mit Prof. Dettweiler)
Lehre in Bayreuth (Wintersemester 2008/2009 bis Wintersemester 2023/2024)

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
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
Talk notes
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–)
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,  24. April 2024