Loh, Clara.
概要
| 作品: | 5 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Ergodic theoretic methods in group homologya minicourse on L2-Betti numbers in group theory /
by:
Loh, Clara.; SpringerLink (Online service)
(書目-電子資源)
Exploring formalisationa primer in human-readable mathematics in Lean 3 with examples from simplicial topology /
by:
Loh, Clara.; SpringerLink (Online service)
(書目-電子資源)
主題
Group Theory and Generalizations.
Graph Theory.
Mathematical Logic and Foundations.
Manifolds and Cell Complexes.
Group theory.
Automatic theorem proving
Mathematics.
Vibration, Dynamical Systems, Control.
Topological Groups, Lie Groups.
Geometric group theory.
Dynamical Systems and Ergodic Theory.
Manifolds and Cell Complexes (incl. Diff.Topology)
Formal Languages and Automata Theory.
Differential Geometry.
Homology theory.
Algebraic Topology.
Hyperbolic Geometry.
Symbolic and Algebraic Manipulation.