Keyphrases
- euclidean space
- metric space
- shape analysis
- low dimensional
- vector space
- riemannian manifolds
- data points
- quadratic form
- discrete space
- euclidean distance
- geometrical structure
- geodesic distance
- formal methods
- dimensional euclidean space
- theorem prover
- pattern recognition
- image processing
- data sets
- multi dimensional scaling
- database