Encyclopedia > QED project

  Article Content

QED project

The QED project was a proposal for a computer-based encyclopedia and database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically. The idea for the project arose in 1993 and was outlined in the "QED manifesto". A dedicated mailing list was created, and two scientific conferences about QED took place in 1994 and 1995. The project seems to have died in 1996, never having produced more than discussions and plans.

See also

External links

  • QED project main page (http://www-unix.mcs.anl.gov/qed/), includes a link to the manifesto, conference reports and mailing list archives



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Photosynthesis

... a waste product that is released into the environment. In green plants and algae, the pigment molecules that initially absorb the light energy are chlorophyll and various ...

 
 
 
This page was created in 41.8 ms