scientific article; zbMATH DE number 1951639

MaRDI QIDQ4413894zbMATH OpenFDO

Authors Freek Wiedijk

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2594/25940188.htm

Mathematics Subject Classification ID

Knowledge representation (68T30) Symbolic computation and algebraic computation (68W30)

Recommendations

• The seventeen provers of the world. Foreword by Dana S. Scott..
• Automated theorem provers: a practical tool for the working mathematician?
• Automated and human proofs in general mathematics: an initial comparison
• MPTP-motivation, implementation, first experiments
• Formalization of real analysis: a survey of proof assistants and libraries

Cited in

(11)

• Automated and human proofs in general mathematics: an initial comparison
• Supra-logic: using transfinite type theory with type variables for paraconsistency
• scientific article; zbMATH DE number 4070873 (Why is no real title available?)
• On the Structure of Mizar Types
• A user-friendly interface for a lightweight verification system
• Proof auditing formalised mathematics
• MPTP-motivation, implementation, first experiments
• The seventeen provers of the world. Foreword by Dana S. Scott..
• Formalization and implementation of modern SAT solvers
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• MPTP 0.2: Design, implementation, and initial experiments

Describes a project that uses

Uses Software

• Theorema
• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413894)