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 Wintersemester 2023/24
Spezialvorlesung „Arithmetik hyperelliptischer Kurven“ (entfällt)
Staatsexamenskurs Algebra vertieft
Seminar „Formalisierung zahlentheoretischer Aussagen“
Oberseminar Arithmetische Geometrie (mit Prof. Dettweiler)
Lehre in Bayreuth (Wintersemester 2008/2009 bis Sommersemester 2023)

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
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
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,  18. März 2024