Proof Assistants and Their Applications in Mathematics and Computer Science

Inbunden, Engelska, 2026

Del i serien Computer Science Foundations and Applied Logic

838 kr

Beställningsvara. Skickas inom 11-20 vardagar. Fri frakt över 249 kr.

Beskrivning

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

Produktinformation

Utgivningsdatum:2026-11-11
Mått:155 x 235 x undefined mm
Format:Inbunden
Språk:Engelska
Serie:Computer Science Foundations and Applied Logic
Antal sidor:390
Förlag:Springer International Publishing AG
ISBN:9783031851896

Utforska kategorier

Mer om författaren

Jasmin Blanchette earned his PhD degree in computer science in 2012 from the Technical University of Munich (Germany). He has been active in Germany, France, and the Netherlands, before coming back to Munich. Since 2023, he is professor at the Ludwig-Maximilians-Universität München, where he heads the Chair for Theoretical Computer Science and Theorem Proving. His research focused on using and developing interactive and automatic theorem provers. After graduating in pure mathematics, Assia Mahboubi earned her PhD degree in computer science in 2006 from the University of Nice Sophia Antipolis (France) and her habilitation degree from Nantes University (France). Since 2017, she has been a researcher at the French research institute Inria, conducting research in dependent type theory and formalized mathematics.

Innehållsförteckning

Introduction.- Logical Foundations.- Inductive Types and Recursive Functions.- Inductive Predicates.- Coinductive Methods.- Computation.- Elaboration.- Proof Languages.- Proof Automation.- Applications in Computer Science.- Applications in Mathematics.