Del i serien Computer Science Foundations and Applied Logic

Proof Assistants and Their Applications in Mathematics and Computer Science

Inbunden, Engelska, 2026

1 109 kr

Beställningsvara. Skickas inom 11-20 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Produktinformation

Utgivningsdatum2026-02-12
Mått155 x 235 x undefined mm
FormatInbunden
SpråkEngelska
SerieComputer Science Foundations and Applied Logic
Antal sidor390
FörlagSpringer International Publishing AG
ISBN9783031851896

Tillhör följande kategorier

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.