ADAM project: Anticipating the Digital Age of Mathematics

Prof. Immanuel Halupczok and I are currently experimenting with some courses on interactive proof assistents. Please see the project pages for more information.

Anki decks

Anki is a flash card program that can help learn definitions quickly and efficiently. The following Anki decks contain the essential definitions from my respective undergraduate courses (in German):
Lineare Algebra I
Einführung in die Topologie
For other decks covering university level mathematics, see for example the websites of St. Catharine's College Maths Society (Cambridge) or of Patrick Steven. (I cannot guarantee for the quality of all decks available on these sites.)

For the add-on that I have developed for creating and main­taining such LaTeX-based Anki decks, see Anki's official listing or GitHub.

Lecture courses

Homological Algebra (Summer 2024, Summer 2016)
Linear Algebra II (Summer 2022)
Linear Algebra I (Winter 2021/22, Summer 2021, Summer 2017)
First course in Topology (Summer 2019, Winter 2016/17)
Algebraic Topology I (Winter 2019/20, Winter 2017/18, …)
Algebraic Topology II (Summer 2018, Winter 2015/16)
Algebraic Geometry (Winter 2014/15, LMU)
Algebraic Topology III (Winter 2018/19)

Seminars

QED or Game Over? (Summer 2024)

Einführung in die computer-gestützte Formalisierung von Beweisen mit Hilfe des Beweisassistenten Lean.
Quadratic Forms (Winter 2021/22)
Topological K-theory (Winter 2018/19, Summer 2016)
Topological Data Analysis (Summer 2018)
co-organized with Dr. Oihana Garaialde Ocaña
Algebraic K-theory (Winter 2017/18)
Oberseminar, co-organized with Prof. I. Halupczok, Prof. B. Klopsch, Prof. S. Schröer
Knot theory (Summer 2017)
co-organized with Dr. Peter Arndt
The Milnor Conjectures (Winter 2015/16)
Oberseminar, co-organized with Prof. B. Klopsch, Prof. S. Schröer
Number theory (Winter 2014/15, LMU)

Examples classes/Tutorials

(Bergische Universität Wuppertal)

Linear Algebra I (Winter 2011/12, Winter 2012/13)
Linear Algebra II (Summer 2013)
A first course in Algebra (Summer 2014)

Analysis I (Summer 2012)
Analysis on Manifolds(Summer 2012)

A first course in Topology (Winter 2013/14)
Topology (Summer 2013)

Supervisions

(University of Cambridge)

Part II Algebraic Geometry (Michaelmas 2009)
Part II Differential Geometry (Lent 2008, Lent 2009)
Part II Algebraic Topology (Michaelmas 2008)