Pages that link to "Item:Q819987"
From MaRDI portal
The following pages link to The seventeen provers of the world. Foreword by Dana S. Scott.. (Q819987):
Displaying 11 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems (Q2835688) (← links)
- Tool Support for Proof Engineering (Q2867938) (← links)
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)
- Characteristics of de Bruijn’s early proof checker Automath (Q5089679) (← links)
- Irrational Thoughts (Q5108615) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- Proof Auditing Formalised Mathematics (Q5195266) (← links)
- A case-study in algebraic manipulation using mechanized reasoning tools (Q5747731) (← links)
