Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Autor Clara Löh
25 sep 2022
Paperback
Preț: 377.90 lei
38-44 zile
Cărți de Clara Löh
Geometric Group Theory: An Introduction
Autor Clara Löh
19 ian 2018
Paperback
Preț: 512.22 lei 602.61 lei
6-8 săpt.
-15%
Quod erat knobelandum: Themen, Aufgaben und Lösungen des Schülerzirkels Mathematik der Universität Regensburg
Editat de Clara Löh et al.
5 mar 2019
Paperback
Preț: 261.63 lei
6-8 săpt.
Ergodic Theoretic Methods in Group Homology: A Minicourse on L2-Betti Numbers in Group Theory
Autor Clara Löh
15 mar 2020
Paperback
Preț: 487.68 lei
38-44 zile