The seventeen provers of the world. Foreword by Dana S. Scott..
From MaRDI portal
Publication:819987
DOI10.1007/11542384zbMATH Open1084.68119OpenAlexW3023731641MaRDI QIDQ819987FDOQ819987
Author name not available (Why is that?)
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
Recommendations
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (14)
- Characteristics of de Bruijn’s early proof checker Automath
- Presentation and manipulation of Mizar properties in an Isabelle object logic
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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 \(\Omega\)MEGA
- Proof Auditing Formalised Mathematics
- A case-study in algebraic manipulation using mechanized reasoning tools
- Tool support for proof engineering
- Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems
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)
