Proof Lab: Simplicial Topology

Proof Lab: Simplicial Topology

Semester
WiSe 2021 / 22

Lecturer
Clara Löh

Type of course (Veranstaltungsart)
Seminar

German title
Beweislabor: Simpliziale Topologie

Contents
Many topological objects admit simple combinatorial descriptions through so-called simplicial complexes (a higher-dimensional version of graphs). This simplifies the computation of invariants from algebraic topology. Conversely, many situations arising in real-world 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.

Recommended previous knowledge
This seminar accompanies the Algebraic Topology course. No previous knowledge of algebraic topology is necessary; participation in Algebraic Topology I is not necessary. Prior programming experience is not necessary.

Time/Date
Wed 8:30--10:00

Location
M 104

Course homepage
http://www.mathematik.uni-r.de/loeh/teaching/prooflab_ws2122/
(Disclaimer: Dieser Link wurde automatisch erzeugt und ist evtl. extern)

Registration

Organisational meeting/distribution of topics: Monday, July 12, 12:15; in ZOOM; access data is
provided on the GRIPS page: https://elearning.uni-regensburg.de/course/view.php?id=51241
Registration for course work/examination/ECTS: FlexNow

Course work (Studienleistungen)

Presentation: Giving a seminar talk of roughly 90 minutes

Examination (Prüfungsleistungen)

Detailed written report of the seminar talk

Modules
BSem, MV, MSem, LA-GySem

ECTS
BSem und MSem: 4,5 LP bei Studienbeginn ab WS 15/16, 6 LP bei Studienbeginn vor WS 15/16. LA-GySem:
6 LP. MV und Nebenfach: 4,5 LP bei Studienbeginn ab WS 15/16, 6 LP bei Studienbeginn vor WS 15/16
+++ weitere Details: siehe Modulkatalog +++