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  multidim  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) 19982024 Martin John Baker  All rights reserved  privacy policy.