QED manifesto

proposal for a computer-based database of all mathematical knowledge

en-GB/ˌkjuːˌiːˈdiː ˌmænɪˈfɛstəʊ/

Categories:

research proposal