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
Lehre
Lehre im Sommersemester 2025
⇒ Vorlesung „Einführung in die Computeralgebra“
⇒ Staatsexamenskurs Algebra vertieft
⇒ Oberseminar Arithmetische Geometrie (mit Prof. Dettweiler)
Lehre in Bayreuth (Wintersemester 2008/2009 bis Sommersemester 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
Events
⇒ Arithmetic Statistics for Algebraic Objects, Mathematisches Forschungsinstitut Oberwolfach, November 9 – 14, 2025.
⇒ Algebraic and geometric methods for Diophantine problems, Università di Pisa, September 9 – 12, 2025.
⇒ Rational Points 2025, Schney, July 27 – August 2, 2025.
⇒ Magma Meeting: Rational Points 2025, Universität Würzburg, July 25 – 26, 2025.
⇒ Past Events
⇒ Rational Points Workshops:    2005 | 2007 | 2010 | 2013 | 2015 | 2017 | 2019 | 2022 | 2023 | 2025
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–)
⇒ 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,  7. Juni 2025