Seminar: Proof Lab: Simplicial Topology; WS 2021/22
Prof. Dr. Clara Löh
News

The schedule is now available.
There are still free slots!
If you are interested in participating: please send me an email.

The organisational meeting for this seminar will be on Monday, July 12, at 12:15
in zoom; access data is provided on the
GRIPS course page.
Alternatively, you can register for this seminar by sending an email
to clara.loeh@mathematik.unir.de .
Seminar: Proof Lab: Simplicial Topology
Many topological objects admit simple combinatorial descriptions
through socalled simplicial complexes (a higherdimensional version
of graphs). This simplifies the computation of invariants
from algebraic topology. Conversely, many situations arising in
realworld applications can be modelled by simplicial complexes.
In this seminar, we will study combinatorial aspects of algebraic
topology and their applications. Moreover, for additional excitement,
we will implement fragments of the theory in a proof assistant.
Proof assistants are not only used within mathematics, but also
in industrial settings to verify properties of complex systems.
Details:
seminar schedule.
Time/Location
Wednesday, 8:3010:00, M 104
(if inperson teaching is the preferred option; otherwise, this seminar
will be taught online)
Material
Prerequisites
Analysis I/II, Linear Algebra I/II;
basic group theory as taught in (Linear) Algebra;
no previous knowledge in Algebraic Topology is necessary, but the seminar
fits well with the
Algebraic Topology I course in WS 21/22.
No prior programming experience is necessary.
This seminar is suitable for Bachelor/Master students and
Lehramtsstudenten with an interest in topology and combinatorics, and could be the
starting point for a project under my supervision (e.g., bachelor/master thesis,
Zulassungsarbeit).
Formalities/Credits
See the commented list of courses.
Last Change: July 19, 2021.