語系
Loh, Clara.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Ergodic theoretic methods in group homology = a minicourse on L2-Betti numbers in group theory /
by:
Loh, Clara.; SpringerLink (Online service)
(書目-電子資源)
Exploring formalisation = a 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.
Automatic theorem proving- Computer programs.
Group theory.
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.