Encyclopedia > Q > QED project
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, mainly under the impetus of Robert Boyer.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)