Summary
Mathematics lies at the heart of science and technology, affecting our daily lives in everything from aircraft to finance. However, as the world of mathematics becomes ever more abstract and complex, questions of correctness become pressing. Proofs can be 100s of pages long...
More information & hyperlinks
| Web resources: | https://www.cl.cam.ac.uk/ |
Search
Associated projects
Organisations
- Not specified