Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Ergodic Theoretic Methods in Group Homology : A Minicourse on L2-Betti Numbers in Group Theory / Clara Löh
| Ergodic Theoretic Methods in Group Homology : A Minicourse on L2-Betti Numbers in Group Theory / Clara Löh |
| Autore | Löh, Clara |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | ix, 114 p. : ill. ; 24 cm |
| Soggetto topico |
37-XX - Dynamical systems and ergodic theory [MSC 2020]
20J06 - Cohomology of groups [MSC 2020] 20J05 - Homological methods in group theory [MSC 2020] 37A15 - General groups of measure-preserving transformations and dynamical systems [MSC 2020] 37A10 - Dynamical systems involving one-parameter continuous families of measure-preserving transformations [MSC 2020] |
| Soggetto non controllato |
Approximation of homological invariants
Ergodic theory of groups Homological gradient invariants Invariant random subgroups L2-Betti numbers Measured equivalence relations Measured group theory Profinite completion Simplicial volume von Neumann dimension |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249068 |
Löh, Clara
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Ergodic Theoretic Methods in Group Homology : A Minicourse on L2-Betti Numbers in Group Theory / Clara Löh
| Ergodic Theoretic Methods in Group Homology : A Minicourse on L2-Betti Numbers in Group Theory / Clara Löh |
| Autore | Löh, Clara |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | ix, 114 p. : ill. ; 24 cm |
| Soggetto topico |
20J05 - Homological methods in group theory [MSC 2020]
20J06 - Cohomology of groups [MSC 2020] 37-XX - Dynamical systems and ergodic theory [MSC 2020] 37A10 - Dynamical systems involving one-parameter continuous families of measure-preserving transformations [MSC 2020] 37A15 - General groups of measure-preserving transformations and dynamical systems [MSC 2020] |
| Soggetto non controllato |
Approximation of homological invariants
Ergodic theory of groups Homological gradient invariants Invariant random subgroups L2-Betti numbers Measured equivalence relations Measured group theory Profinite completion Simplicial volume von Neumann dimension |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249068 |
|
Löh, Clara
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh
| Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh |
| Autore | Löh, Clara |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | vi, 147 p. : ill. ; 24 cm |
| Soggetto non controllato |
Examples in Lean
Formalization of mathematics Mathematics in Lean Proof assistant Simplicial Complexes Simplicial topology Theorem prover Tutorial on lean Verification of proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277401 |
|
Löh, Clara
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh
| Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh |
| Autore | Löh, Clara |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | vi, 147 p. : ill. ; 24 cm |
| Soggetto topico |
55-XX - Algebraic topology [MSC 2020]
68-XX - Computer science [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 68V20 - Formalization of mathematics in connection with theorem provers [MSC 2020] |
| Soggetto non controllato |
Examples in Lean
Formalization of mathematics Mathematics in Lean Proof assistant Simplicial Complexes Simplicial topology Theorem prover Tutorial on lean Verification of proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00277401 |
|
Löh, Clara
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Geometric Group Theory : An Introduction / Clara Löh
| Geometric Group Theory : An Introduction / Clara Löh |
| Autore | Löh, Clara |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xi, 389 p. : ill. ; 24 cm |
| Soggetto topico |
20G15 - Linear algebraic groups over arbitrary fields [MSC 2020]
05C25 - Graphs and abstract algebra (groups, rings, fields, etc.) [MSC 2020] 53C23 - Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces [MSC 2020] 20Exx - Structure and classification of infinite or finite groups [MSC 2020] 20Fxx - Special aspects of infinite or finite groups [MSC 2020] 57M07 - Topological methods in group theory [MSC 2020] 53C24 - Rigidity results [MSC 2020] |
| Soggetto non controllato |
Amenable groups
Cayley graphs of groups Curvature and fundamental groups Geometric group theory Gromov boundary Group actions and geometry Growth of groups Hyperbolic groups Negatively curved groups Quasi-isometry of groups Rigidity in group theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124290 |
|
Löh, Clara
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Geometric Group Theory : An Introduction / Clara Löh
| Geometric Group Theory : An Introduction / Clara Löh |
| Autore | Löh, Clara |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xi, 389 p. : ill. ; 24 cm |
| Soggetto topico |
05C25 - Graphs and abstract algebra (groups, rings, fields, etc.) [MSC 2020]
20Exx - Structure and classification of infinite or finite groups [MSC 2020] 20Fxx - Special aspects of infinite or finite groups [MSC 2020] 20G15 - Linear algebraic groups over arbitrary fields [MSC 2020] 53C23 - Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces [MSC 2020] 53C24 - Rigidity results [MSC 2020] 57M07 - Topological methods in group theory [MSC 2020] |
| Soggetto non controllato |
Amenable groups
Cayley graphs of groups Curvature and fundamental groups Geometric group theory Gromov boundary Group actions Growth of groups Hyperbolic groups Negatively curved groups Quasi-isometry of groups Rigidity in group theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124290 |
|
Löh, Clara
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Geometric Group Theory : An Introduction / Clara Löh
| Geometric Group Theory : An Introduction / Clara Löh |
| Autore | Löh, Clara |
| Edizione | [Cham : Springer, 2017] |
| Pubbl/distr/stampa | xi, 389 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
20G15 - Linear algebraic groups over arbitrary fields [MSC 2020]
05C25 - Graphs and abstract algebra (groups, rings, fields, etc.) [MSC 2020] 53C23 - Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces [MSC 2020] 20Exx - Structure and classification of infinite or finite groups [MSC 2020] 20Fxx - Special aspects of infinite or finite groups [MSC 2020] 57M07 - Topological methods in group theory [MSC 2020] 53C24 - Rigidity results [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124290 |
|
Löh, Clara
|
||
| xi, 389 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
