The QED Project
The aim of the QED project is to build a single,
repository that rigorously represents all important, established mathematical
knowledge. The construction of this system will be a scientific undertaking
of significant proportions, requiring the cooperation of many mathematicians,
computer scientists, research groups, research agencies, universities, and
corporations. This system will have benefits for mathematics, science,
technology, and education.
The QED Project is described in detail in the
QED Manifesto, which is available in
plain text and
The QED mailing list is email@example.com.
To join the list, e-mail firstname.lastname@example.org with the single line
as the body of the message.
The (hypermail) archives of the mailing list are in several volumes (with a gap, and not up to date).
Additional QED-related Pages
The QED Workshop I, Argonne, 1994
The Workshop was held at Argonne in May of 1994. A report on what happened is
with a list of participants.
The original proposal is
The QED Workshop II, Warsaw, 1995
The workshop was under the auspices of the State
Committee for Scientific Research (Poland) - grant OGT 42/95, supported
by special funding
from the Office of Naval Research (USA) under ONR Order No. N00014-95-M-0072,
cosponsored by Microsoft (Poland) and the Mizar Users Group.
(CLInc.) and Andrzej Trybulec (Warsaw University) were
responsible for the scientific programme, with Roman Matuszewski
(Warsaw University) being the workshop chairman.
The final report you can find as:
- Whole report:
LaTeX version - 108kB,
compressed LaTeX - 38kB,
postscript version - 300kB,
compressed postscript - 114kB.
- Report classified by authors
(in LaTeX and postscript).