Exploring Formalisation

A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Häftad, Engelska, 2022

709 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean. After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.

Produktinformation

Utgivningsdatum2022-09-25
Mått155 x 235 x 9 mm
Vikt276 g
SpråkEngelska
SerieSurveys and Tutorials in the Applied Mathematical Sciences
Antal sidor147
FörlagSpringer International Publishing AG
EAN9783031146480

Mer från samma författare

Ergodic Theoretic Methods in Group Homology

Clara Löh, Clara Loh

919 kr

Geometric Group Theory

Clara Löh

1 129 kr

Quod erat knobelandum

Clara Löh, Stefan Krauss, Niki Kilbertus

469 kr

Du kanske också är intresserad av

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Topologi inom Naturvetenskap och teknik
Matematikens grunder inom Naturvetenskap och teknik

Clara Löh is Professor of Mathematics at the University of Regensburg, Germany. Her research focuses on simplicial volume and the interaction between geometric topology, geometric group theory, and measured group theory. This includes cohomological, geometric, and combinatorial methods. She is also interested in the foundations of mathematics and the formalisation/verification of mathematics in proof assistants.

Exploring Formalisation

A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Produktinformation

Mer från samma författare

Ergodic Theoretic Methods in Group Homology

Geometric Group Theory

Quod erat knobelandum

Mer från samma serie

Multiscale Finite Element Methods

Introduction to Bayesian Scientific Computing

Applied Delay Differential Equations

Introduction to Fronts in Random Media

Modeling Information Diffusion in Online Social Networks with Partial Differential Equations

Kernel Mode Decomposition and the Programming of Kernels

Internal Waves in the Ocean

Graded Finite Element Methods for Elliptic Problems in Nonsmooth Domains

Toolbox of Averaging Theorems

Continuum Modeling from Thermodynamics

Du kanske också är intresserad av

Ergodic Theoretic Methods in Group Homology

Geometric Group Theory

Quod erat knobelandum

Elementary Introduction to n-fold Groupoids

Internal Waves in the Ocean

Boundary Element Method for Magnetohydrodynamic Flow

Dynamics and Control of Connected Vehicles

Multiscale Finite Element Methods

Modeling Information Diffusion in Online Social Networks with Partial Differential Equations

Introduction to Bayesian Scientific Computing

Tillhör följande kategorier

Mer om författaren

Innehållsförteckning