Universität Regensburg   IMPRESSUM   DATENSCHUTZ
Fakultät für Mathematik Universität Regensburg
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 +++