EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link: https://ebookbell.com/faq

We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.

For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Exploring Formalisation A Primer In Humanreadable Mathematics In Lean 3 With Examples From Simplicial Topology Clara Lh

Name: Exploring Formalisation A Primer In Humanreadable Mathematics In Lean 3 With Examples From Simplicial Topology Clara Lh
SKU: BELL-46263694
Price: 31.00 USD
Availability: InStock
Rating: 4.7 (56 reviews)

SKU: BELL-46263694

$ 31.00 ~~$ 45.00~~ (-31%)

4.7

56 reviews

Exploring Formalisation A Primer In Humanreadable Mathematics In Lean 3 With Examples From Simplicial Topology Clara Lh instant download after payment.

Publisher: Springer

File Extension: PDF

File size: 1.84 MB

Pages: 151

Author: Clara Löh

ISBN: 9783031146480, 3031146484

Language: English

Year: 2022

Product desciption

Exploring Formalisation A Primer In Humanreadable Mathematics In Lean 3 With Examples From Simplicial Topology Clara Lh by Clara Löh 9783031146480, 3031146484 instant download after payment.

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. Subsequently, typical design options are discussed and brought to life through worked examples in the setting of simplicial complexes (a higher-dimensional generalisation of graph theory). Finally, the book demonstrates how current research in algebraic and geometric topology can be formalised by means of suitable abstraction layers.
Informed by the author's recent teaching and research experience, this book allows students and researchers to quickly get started with formalising and checking their proofs. The core material of the book is accessible to mathematics students with basic programming skills. For the final chapter, familiarity with elementary category theory and algebraic topology is recommended.