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ț: 351.50 lei
38-44 zile
Cărți de Clara Löh
Ergodic Theoretic Methods in Group Homology: A Minicourse on L2-Betti Numbers in Group Theory
Autor Clara Löh
15 mar 2020
Paperback
Preț: 417.51 lei
38-44 zile
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ț: 266.77 lei
6-8 săpt.
Geometric Group Theory: An Introduction
Autor Clara Löh
19 ian 2018
Paperback
Preț: 521.96 lei 614.06 lei
6-8 săpt.
-15%