The QED Project - Home Page

Help Bookmark Add a LISTING - it's free!Login
Latest Headlines Add To Search Providers

Community (100)	Discussion (36)	Events (65)	For Sale (794)	Help Wanted (64)	Website Directory
Personals (101)	Projects / Engagements (9)	Real Estate (112)	Resumes (12)	Services (674)	Latest Headlines

Home → Science → Mathematics → Foundations of Mathematics

Foundations of Mathematics

Conferences (83)
History of Mathematics@ (101)
Logicians (99)
Category Theory@ (25)
Computational Logic (10)
Educational Resources (15)
Foundations (5)
Logic@ (13)
Model Theory (3)
Nonstandard Logics and Extensions (22)
Professional Associations (8)
Proof Theory (2)
Publications (9)
Research Centers (38)
Set Theory@ (18)
Software (13)

The QED Project - Home Page
The QED Project Summary The aim of the QED project is to build a single, distributed, computerized 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, ...