Some examples of the use of distances as coordinates for euclidean geometry

DOI10.1016/S0747-7171(08)80120-4zbMath0743.51011MaRDI QIDQ1176392

Timothy F. Havel

Publication date: 25 June 1992

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

distance geometryproving theorems in Euclidean geometry

Mathematics Subject Classification ID

General theory of distance geometry (51K05) Euclidean geometries (general) and generalizations (51M05)

Related Items

Dynamics of a planar parallel mechanism: The equilateral five bars linkage, Linear finite element superconvergence on simplicial meshes, The configuration space of equilateral and equiangular hexagons, The configuration space of planar spidery linkages, Topology of equilateral polygon linkages, The fundamental group of the moduli space of polygons in the Euclidean plane, Generalization of Schläfli formula to the volume of a spherically faced simplex, Straightening Euclidean invariants, Hypergeometric integrals associated with hypersphere arrangements and Cayley-Menger determinants, Symmetric configuration spaces of linkages, The configuration space of a model for ringed hydrocarbon molecules, Kuramoto Networks with Infinitely Many Stable Equilibria, Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry., Configuration spaces of pentagonal frameworks, Multilinear Cayley factorization, Invariant computations for analytic projective geometry, Computational algebraic geometry of projective configurations, Decomposition plans for geometric constraint systems. I: Performance measures for CAD, Reversing a polyhedral surface by origami-deformation, Comparing acceleration techniques for the Dixon and Macaulay resultants, On the moduli space of equilateral plane pentagons, Homology of the configuration spaces of quasi-equilateral polygon linkages, Using a CAS/DGS to analyze computationally the configuration of planar bar linkage mechanisms based on partial Latin squares

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Gröbner bases and invariant theory
• Properties of Euclidean and non-Euclidean distance matrices
• On the application of Buchberger's algorithm to automated geometry theorem proving
• On certain metric spaces arising from euclidean spaces by a change of metric and their imbedding in Hilbert space
• Ptolemy's Inequality and the Chordal Metric