The seventeen provers of the world. Foreword by Dana S. Scott..
From MaRDI portal
Publication:819987
DOI10.1007/11542384zbMath1084.68119OpenAlexW3023731641MaRDI QIDQ819987
No author found.
Publication date: 5 April 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11542384
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Presentation and manipulation of Mizar properties in an Isabelle object logic, Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers, Computer supported mathematics with \(\Omega\)MEGA, Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started, Characteristics of de Bruijn’s early proof checker Automath, Irrational Thoughts, A case-study in algebraic manipulation using mechanized reasoning tools, Progress in the Development of Automated Theorem Proving for Higher-Order Logic, Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems, Proof Auditing Formalised Mathematics, Tool Support for Proof Engineering
Uses Software