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… (More)
Wikipedia

Related topics

Related topics

12 relations
Automated proof checkingAutomathCommunications of the ACMCoq (software)
(More)

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Preface: Twenty Years of the QED Manifesto
QED is the very tentative title of a project to build a computer system that effectively represents all important mathematical… (More)
Is this relevant?
2016
2016
The QED Manifesto after Two Decades - Version 2.0
In 1994 the QED Manifesto described an ideal whereby mathematics is communicated via a computerized system in a fully formalized… (More)
Is this relevant?
Review
2016
Review
2016
QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
Proposed in 1994, the “QED project” was one of the seminally influential initiatives in automated reasoning: It envisioned the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
The QED manifesto — Version 2.0
  • Ittay Weiss
  • Asia-Pacific World Congress on Computer Science…
  • 2014
In 1994 the QED Manifesto described an ideal whereby mathematics is communicated via a computerized system in a fully formalized… (More)
Is this relevant?
2012
2012
Finding Errors in New Object Intents
The classification of possible errors in object intents is given and some possibilities of exploring them are discussed. An… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
Review
2007
Review
2007
The QED Manifesto Revisited
We present an overview of the current state of formalization of mathematics, and argue what will be needed to make the vision… (More)
Is this relevant?
2007
2007
Factors Influencing Change Initiatives to Improve K-20 STEM Education at California State University, Dominguez Hills: Final Case Study of SCALE Activities
Readers may make verbatim copies of this document for noncommercial purposes by any means, provided that the above copyright… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
On Equivalents of Well-Foundedness
Four statements equivalent to well-foundedness (well-founded induction, existence of recursively defined functions, uniqueness of… (More)
  • figure 2
  • figure 3
Is this relevant?
1999
1999
On Equivalents of Well-foundedness - An experiment in Mizar
Four statements equivalent to well-foundedness (well-founded induction, existence of recursively deened functions, uniqueness of… (More)
Is this relevant?
1998
1998
Power counting degree versus singular order in the Schwinger model
The importance of a rigorous definition of the singular degree of a distribution is demonstrated on the case of two-dimensional… (More)
Is this relevant?