Ergebnisse zu
Geometrie / Topologie

Exploring Formalisation
A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
von Clara Löh
Buch | Softcover
2022 | Auflage: 1 | Springer International Publishing
ISBN: 9783031146480
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Lectures on Geometry
von Lucian Bădescu; Ettore Carletti
Buch | Softcover
2024 | Auflage: 1 | Springer International Publishing
ISBN: 9783031514135
69,54 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Stereology
Theory and Applications
von Luis Manuel Cruz-Orive
Buch | Hardcover
2024 | Auflage: 1 | Springer International Publishing
ISBN: 9783031524509
139,09 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen