Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
In the recent years, we have linked a large corpus of formal mathematics with automated theorem proving (ATP) tools, and started… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
2012
2012
The classification of possible errors in object intents is given and some possibilities of exploring them are discussed. An… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
2008
2008
Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and… Expand
  • figure 1
Is this relevant?
2007
2007
Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide inaccurate… Expand
  • figure 1
Is this relevant?
2007
2007
Readers may make verbatim copies of this document for noncommercial purposes by any means, provided that the above copyright… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Four statements equivalent to well-foundedness (well-founded induction, existence of recursively defined functions, uniqueness of… Expand
  • figure 2
  • figure 3
Is this relevant?
2003
2003
MIZAR, a proof-checking system, is used to build the MIZAR Mathematical Library (MML). This is a long term project aiming at… Expand
Is this relevant?
2002
2002
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires… Expand
Is this relevant?
1999
1999
Four statements equivalent to well-foundedness (well-founded induction, existence of recursively deened functions, uniqueness of… Expand
Is this relevant?
1998
1998
The importance of a rigorous definition of the singular degree of a distribution is demonstrated on the case of two-dimensional… Expand
Is this relevant?