Foreword to the special focus on formal proofs for mathematics and computer science

DOI10.1007/s11786-014-0214-9zbMath1308.00050OpenAlexW2086038140MaRDI QIDQ2018656

No author found.

Publication date: 25 March 2015

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-014-0214-9

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Uses Software

• Sledgehammer
• CakeML
• CompCert
• Flyspeck
• seL4
• kepler98

Cites Work

• Unnamed Item
• Formalizing an analytic proof of the prime number theorem
• Compositional CompCert
• HOL with Definitions: Semantics, Soundness, and a Verified Implementation
• Concrete Semantics
• A Machine-Checked Proof of the Odd Order Theorem
• CakeML
• Homotopy Type Theory: Univalent Foundations of Mathematics

This page was built for publication: Foreword to the special focus on formal proofs for mathematics and computer science