Projekt ADAM: Anticipating the Digital Age of Mathematics

Zur Zeit leite ich zusammen mit Prof. Immanuel Halupczok ein Experiment zum Einsatz von interaktiven Beweisassistenten in der Lehre. Mehr Informationen dazu finden Sie auf der Projektseite.

Anki-Decks

Anki ist ein Kartei­karten­programm, das dabei helfen kann, Defini­tionen schnell und effi­zient zu lernen. Die folgenden Anki-Decks enthalten die wichtigsten Defini­tionen aus meinen gleich­namigen Vor­lesungen:
Lineare Algebra I
Einführung in die Topologie
Anki-Decks zu anderen Mathe­matik-Vor­lesungen sind zum Bei­spiel zu finden auf den Web­seiten von St. Catharine's College Maths Society (Cambridge) oder von Patrick Steven. (Für die Quali­tät dieser Decks kann ich keine Gewähr über­nehmen.)

Ein Add-on, das ich für die Er­stellung und Bear­bei­tung solcher LaTeX-basierter Anki-Decks entwickelt habe, ist wahl­weise über die offi­ziellen Kanäle oder über GitHub erhält­lich.

Vorlesungen

Homologische Algebra (Sommer 2024, Sommer 2016)
Lineare Algebra II (Sommer 2022)
Lineare Algebra I (Winter 2021/22, Sommer 2021, Sommer 2017)
Einführung in die Topologie (Sommer 2019, Winter 2016/17)
Topologie I (Winter 2019/20, Winter 2017/18, …)
Topologie II (Sommer 2018, Winter 2015/16)
Algebraische Geometrie (Winter 2014/15, LMU)
Topologie III (Winter 2018/19)

Seminare

QED oder Game Over? (Sommer 2024)

Einführung in die computer-gestützte Formalisierung von Beweisen mit Hilfe des Beweisassistenten Lean.
Quadratische Formen (Winter 2021/22)
Topologische K-Theorie (Winter 2018/19, Sommer 2016)
Topological Data Analysis (Sommer 2018)
zusammen mit Dr. Oihana Garaialde Ocaña
Algebraic K-theory (Winter 2017/18)
Oberseminar, zusammen mit Prof. I. Halupczok, Prof. B. Klopsch, Prof. S. Schröer
Knotentheorie (Sommer 2017)
zusammen mit Dr. Peter Arndt
The Milnor Conjectures (Winter 2015/16)
Oberseminar, zusammen mit Prof. B. Klopsch, Prof. S. Schröer
Zahlentheorie (Winter 2014/15, LMU)

Übungen/Tutorien

(Bergische Universität Wuppertal)

Lineare Algebra I (Winter 2011/12, Winter 2012/13)
Lineare Algebra II (Sommer 2013)
Einführung in die Algebra (Sommer 2014)

Analysis I (Sommer 2012)
Analysis auf Mannigfaltigkeiten(Sommer 2012)

Einführung in die Topologie (Winter 2013/14)
Topologie (Sommer 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)