This site looks at mathematics and how it can be computed. The name of the site 'EuclideanSpace' seems appropriate since Euclid made one of the first attempts to document and classify the mathematics known at the time. We now know, through the theorems of Kirt Gödel, that there is no definitive way to classify mathematics so the organisation here is arbitrary in some ways and reflects my own interests.
The top navigation bar allows the main topic areas to be chosen, you can then navigate down through the hierarchy.
equations | multi-dim | vector | matrix | complex | clifford | universal |
space |
elements |
algebraic geometry |
transformations | trigonometry |
||
rotation | affine | theory |
morphisms | top space | algtop | fibre | sheaf | shapes | model category |
sets | structure | category | groups | type theory | algebra | logic |
logic | sets | Gödel | proofAssist |
computation | dev tools | games | language | prog | OOAD | information |
calculus | statistics | physics | 3D theory | technology | art |
copyright | privacy | a to z index | standards |
metadata block |
|||||
see also: |
|
||||
Correspondence about this page | |||||
Book Shop - Further reading. Where I can, I have put links to Amazon for books that are relevant to the subject. |
|
This site may have errors. Don't use for critical systems.
Copyright (c) 1998-2024 Martin John Baker - All rights reserved - privacy policy.