Löh, Clara.
概要
作品: | 2 作品在 0 項出版品 0 種語言 |
---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
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.