QED manifesto

Known as: QED Project, The QED Project, Project QED

The QED manifesto was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

In 1994 the QED Manifesto described an ideal whereby mathematics is communicated via a computerized system in a fully formalized…

2013

In March 2003, the first version of the Mizar Problems for Theorem Proving (MPTP) was released. In the past ten years, such large…

2012

The classification of possible errors in object intents is given and some possibilities of exploring them are discussed. An…

2012

This article should be easy to understand for anybody and is meant to prove that I proposed new kind of operation system based on…

2007

Readers may make verbatim copies of this document for noncommercial purposes by any means, provided that the above copyright…

2003

MIZAR, a proof-checking system, is used to build the MIZAR Mathematical Library (MML). This is a long term project aiming at…

1995

(Poland) and the Mizar Users Group. QED is the title of an international project to build a computer system that eeectively…

1994

On May 18--20, 1994, Argonne National Laboratory hosted the QED Workshop. The workshop was supported by special funding from the…