Languages
Loh, Clara.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Ergodic theoretic methods in group homology = a minicourse on L2-Betti numbers in group theory /
by:
Loh, Clara.; SpringerLink (Online service)
(Electronic resources)
Geometric group theory = an introduction /
by:
Loh, Clara.; SpringerLink (Online service)
(Electronic resources)
Exploring formalisation = a primer in human-readable mathematics in Lean 3 with examples from simplicial topology /
by:
Loh, Clara.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.