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
Wheatley Heights, New York

... two or more races. 11.67% of the population are Hispanic or Latino of any race. There are 1,455 households out of which 43.6% have children under the age of 18 living with ...

 
 
 
This page was created in 78.3 ms