Löh, Clara.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Quod erat knobelandum = Themen, Aufgaben und Lösungen des Schülerzirkels Mathematik der Universität Regensburg /
by:
Löh, Clara.; SpringerLink (Online service); Krauss, Stefan.; Kilbertus, Niki.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology /
by:
SpringerLink (Online service); Löh, Clara.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Quod erat knobelandum = Themen, Aufgaben und Lösungen des Schülerzirkels Mathematik der Universität Regensburg /
by:
SpringerLink (Online service); Löh, Clara.; Krauss, Stefan.; Kilbertus, Niki.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Ergodic Theoretic Methods in Group Homology = A Minicourse on L2-Betti Numbers in Group Theory /
by:
Löh, Clara.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Mathematical logic.
Topological groups.
Dynamical Systems and Ergodic Theory.
Computer science—Mathematics.
Algebraic Topology.
Vibration.
Formal Languages and Automata Theory.
Symbolic and Algebraic Manipulation.
Group theory.
Algebraic topology.
Machine theory.
Mathematics—Study and teaching .
Topological Groups, Lie Groups.
Lie groups.
Mathematics, general.
Dynamical systems.
Mathematics Education.
Mathematical Logic and Foundations.
Dynamics.
Manifolds (Mathematics).
Vibration, Dynamical Systems, Control.
Ergodic theory.
Mathematics.
Group Theory and Generalizations.
Manifolds and Cell Complexes.