Latest Topics
- Ryoma
- Pulsar kicks
- Purple Gallinule
- Q-learning
- QTorrent
- Pulau Tiga
- Pulp Fiction
- Pungi
- Punia (town)
- Punta Tombo
Random Topics
QED project
Summary
- 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, mainly under the impetus of Robert Boyer.
Soundex: Q316 ( Q3 P623 ) Metaphone: KTPRJKT Reference |
Similar Topics
- Pet project
- Project+
- Project
- Hello! Project
- GNU Project
- Ali Project
- Fly Project
- Project X
- Project-X
- Project 86
Related Topics
* This page is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "QED project".