# QED manifesto

## Papers overview

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

2016

2016

- J. Formalized Reasoning
- 2016

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

- JSW
- 2016

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

- J. Formalized Reasoning
- 2016

Proposed in 1994, the “QED project” was one of the seminally influential initiatives in automated reasoning: It envisioned the… (More)

Is this relevant?

2014

2014

- 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

- CLA
- 2012

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

Is this relevant?

Review

2007

Review

2007

- 2007

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

- 2007

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

Is this relevant?

1999

1999

- Journal of Automated Reasoning
- 1999

Four statements equivalent to well-foundedness (well-founded induction, existence of recursively defined functions, uniqueness of… (More)

Is this relevant?

1999

1999

- 1999

Four statements equivalent to well-foundedness (well-founded induction, existence of recursively deened functions, uniqueness of… (More)

Is this relevant?

1998

1998

- 1998

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?