Exploring Formalisation

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

Häftad, Engelska, 2022

AvClara Löh,Clara Loh

689 kr

Beställningsvara. Skickas inom 10-15 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
FormatHäftad
SpråkEngelska
SerieSurveys and Tutorials in the Applied Mathematical Sciences
Antal sidor147
FörlagSpringer International Publishing AG
ISBN9783031146480

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.

Mer från samma författare

Ergodic Theoretic Methods in Group Homology

Clara Löh, Clara Loh

Häftad

889 kr

Geometric Group Theory

Clara Löh

Häftad

1 099 kr

Quod erat knobelandum

Clara Löh, Stefan Krauss, Niki Kilbertus, Clara Loh

Häftad

449 kr

Mer från samma serie

Del 4

Multiscale Finite Element Methods

Yalchin Efendiev, Thomas Y. Hou

Häftad

689 kr

Introduction to Bayesian Scientific Computing

Daniela Calvetti, E. Somersalo

Häftad

619 kr

Applied Delay Differential Equations

Thomas Erneux

Häftad

889 kr

Del 5

Introduction to Fronts in Random Media

Jack Xin

Häftad

549 kr

Del 7

Modeling Information Diffusion in Online Social Networks with Partial Differential Equations

Haiyan Wang, Feng Wang, Kuai Xu

Häftad

889 kr

Del 8

Kernel Mode Decomposition and the Programming of Kernels

Houman Owhadi, Clint Scovel, Gene Ryan Yoo

Häftad

1 029 kr

Del 9

Internal Waves in the Ocean

Marek Stastna

Häftad

1 029 kr

Del 10

Graded Finite Element Methods for Elliptic Problems in Nonsmooth Domains

Hengguang Li

Häftad

409 kr

Del 12

Toolbox of Averaging Theorems

Ferdinand Verhulst

Häftad

1 159 kr

Del 13

Continuum Modeling from Thermodynamics

Pierre Saramito

Häftad

1 099 kr

Du kanske också är intresserad av

Elementary Introduction to n-fold Groupoids

Marcelo Epstein

Häftad

619 kr

Del 9

Internal Waves in the Ocean

Marek Stastna

Häftad

1 029 kr

Del 14

Boundary Element Method for Magnetohydrodynamic Flow

Münevver Tezer-Sezgin, Canan Bozkaya, Munevver Tezer-Sezgin

Häftad

1 159 kr

Dynamics and Control of Connected Vehicles

Gábor Orosz, Tamás G. Molnár, Gabor Orosz, Tamas G. Molnar

Inbunden

2 299 kr

Del 4

Multiscale Finite Element Methods

Yalchin Efendiev, Thomas Y. Hou

Häftad

689 kr

Del 7

Modeling Information Diffusion in Online Social Networks with Partial Differential Equations

Haiyan Wang, Feng Wang, Kuai Xu

Häftad

889 kr

Introduction to Bayesian Scientific Computing

Daniela Calvetti, E. Somersalo

Häftad

619 kr

Del 5

Introduction to Fronts in Random Media

Jack Xin

Häftad

549 kr

Mathematical Phyllotaxis

Jonathan Swinton

Häftad

759 kr

Del 8

Kernel Mode Decomposition and the Programming of Kernels

Houman Owhadi, Clint Scovel, Gene Ryan Yoo

Häftad

1 029 kr