The seventeen provers of the world. Foreword by Dana S. Scott..
From MaRDI portal
(Redirected from Publication:819987)
Recommendations
Cited in
(14)- Presentation and manipulation of Mizar properties in an Isabelle object logic
- Characteristics of de Bruijn’s early proof checker Automath
- scientific article; zbMATH DE number 1951639 (Why is no real title available?)
- scientific article; zbMATH DE number 1980938 (Why is no real title available?)
- scientific article; zbMATH DE number 2154400 (Why is no real title available?)
- Irrational Thoughts
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- Computer supported mathematics with MEGA
- A case-study in algebraic manipulation using mechanized reasoning tools
- Decidability of univariate real algebra with predicates for rational and integer powers
- Tool support for proof engineering
- Proof auditing formalised mathematics
- Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems
Describes a project that uses
Uses Software
This page was built for publication: The seventeen provers of the world. Foreword by Dana S. Scott..
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q819987)
