{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T07:39:24Z","timestamp":1776843564253,"version":"3.51.2"},"reference-count":30,"publisher":"Elsevier BV","issue":"5-6","license":[{"start":{"date-parts":[[1991,5,1]],"date-time":"1991-05-01T00:00:00Z","timestamp":673056000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8113,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1991,5]]},"DOI":"10.1016\/s0747-7171(08)80120-4","type":"journal-article","created":{"date-parts":[[2008,6,25]],"date-time":"2008-06-25T05:59:32Z","timestamp":1214373572000},"page":"579-593","source":"Crossref","is-referenced-by-count":69,"title":["Some examples of the use of distances as coordinates for Euclidean geometry"],"prefix":"10.1016","volume":"11","author":[{"given":"Timothy F.","family":"Havel","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(08)80120-4_bib1","doi-asserted-by":"crossref","first-page":"233","DOI":"10.2307\/2688275","article-title":"Ptolemy's inequality and the chordal metric","volume":"40","author":"Apostol","year":"1967","journal-title":"Math. Mag."},{"key":"10.1016\/S0747-7171(08)80120-4_bib2","series-title":"E. B. Christoffel","first-page":"480","article-title":"Une caract\u00e9risation purement m\u00e9trique des vari\u00e9t\u00e9s Riemanniennes \u00e0 courbure constante","author":"Berger","year":"1981"},{"key":"10.1016\/S0747-7171(08)80120-4_bib3","first-page":"9","article-title":"La g\u00e9om\u00e9trie m\u00e9trique des vari\u00e9t\u00e9s Riemanniennes","author":"Berger","year":"1985","journal-title":"Soc. Math. Fr., Ast\u00e9risque, hors s\u00e9rie"},{"key":"10.1016\/S0747-7171(08)80120-4_bib4","series-title":"Theory and Applications of Distance Geometry","author":"Blumenthal","year":"1953"},{"key":"10.1016\/S0747-7171(08)80120-4_bib5","series-title":"A Modern View of Geometry","author":"Blumenthal","year":"1961"},{"key":"10.1016\/S0747-7171(08)80120-4_bib6","series-title":"Multidimensional Systems Theory","first-page":"184","article-title":"Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory","author":"Buchberger","year":"1985"},{"key":"10.1016\/S0747-7171(08)80120-4_bib7","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0747-7171(86)80021-9","article-title":"A tutorial introduction to MAPLE","volume":"2","author":"Char","year":"1986","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/S0747-7171(08)80120-4_bib8","series-title":"Mechanical Geometry Theorem Proving","author":"Chou","year":"1987"},{"key":"10.1016\/S0747-7171(08)80120-4_bib9","series-title":"Distance Geometry and Molecular Conformation","author":"Crippen","year":"1988"},{"key":"10.1016\/S0747-7171(08)80120-4_bib10","series-title":"Introduction to Geometry","author":"Coxeter","year":"1969"},{"key":"10.1016\/S0747-7171(08)80120-4_bib11","series-title":"Computer Algebra","author":"Davenport","year":"1988"},{"key":"10.1016\/S0747-7171(08)80120-4_bib12","series-title":"Vorlesungen \u00fcber kombinatorische Geometrie","author":"Dress","year":"1982"},{"key":"10.1016\/S0747-7171(08)80120-4_bib13","series-title":"Proceedings INRIA Workshop on Computer-Aided Geometric Reasoning","article-title":"Fundamentals of the distance geometry approach to the problems of molecular conformation","author":"Dress","year":"1987"},{"key":"10.1016\/S0747-7171(08)80120-4_bib14","first-page":"1","article-title":"Euclidean distance geometry","volume":"7","author":"Gower","year":"1982","journal-title":"Math. Scientist"},{"key":"10.1016\/S0747-7171(08)80120-4_bib15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0024-3795(85)90187-9","article-title":"Properties of Euclidean and non-Euclidean distance matrices","volume":"67","author":"Gower","year":"1985","journal-title":"Linear Algebra Appl."},{"key":"10.1016\/S0747-7171(08)80120-4_bib16","series-title":"Modern Geometry","author":"Johnson","year":"1929"},{"key":"10.1016\/S0747-7171(08)80120-4_bib17","series-title":"Geometric Reasoning","author":"Kapur","year":"1989"},{"key":"10.1016\/S0747-7171(08)80120-4_bib18","series-title":"Elementary Mathematics from an Advanced Standpoint, vol. 2: Geometry","author":"Klein","year":"1939"},{"key":"10.1016\/S0747-7171(08)80120-4_bib19","series-title":"Ph.D. Dissertation","article-title":"Algebraic approaches to automated geometry theorem proving","author":"Kutzler","year":"1988"},{"key":"10.1016\/S0747-7171(08)80120-4_bib20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF01448840","article-title":"Untersuchungen \u00fcber allgemeine Metrik","volume":"100","author":"Menger","year":"1928","journal-title":"Math. Ann."},{"key":"10.1016\/S0747-7171(08)80120-4_bib21","doi-asserted-by":"crossref","first-page":"721","DOI":"10.2307\/2371222","article-title":"New foundation for Euclidean geometry","volume":"53","author":"Menger","year":"1931","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80120-4_bib22","series-title":"Critical Point Theory in Global Analysis and Differential Topology","author":"Morse","year":"1969"},{"key":"10.1016\/S0747-7171(08)80120-4_bib23","doi-asserted-by":"crossref","first-page":"787","DOI":"10.2307\/1968835","article-title":"On certain metric spaces arising from Euclidean spaces by a change of metric and their imbeddings in Hilbert space","volume":"38","author":"Schoenberg","year":"1937","journal-title":"Annals Math."},{"issue":"= 31","key":"10.1016\/S0747-7171(08)80120-4_bib24","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/1385-7258(69)90024-9","article-title":"Linkages and distance geometry, I & II","volume":"72","author":"Schoenberg","year":"1969","journal-title":"Nederl. Akad, Wettnsch. Proc. Ser. A (= Indag. Math.)"},{"key":"10.1016\/S0747-7171(08)80120-4_bib25","first-page":"32","article-title":"Distance-geometric development of 2-dimensional Euclidean, hyperbolic and spheT-ical geometry. I & II","volume":"29","author":"Seidel","year":"1952","journal-title":"Simon Stevin"},{"key":"10.1016\/S0747-7171(08)80120-4_bib26","first-page":"65","article-title":"Distance-geometric development of 2-dimensional Euclidean, hyperbolic and spheT-ical geometry. I & II","volume":"29","author":"Seidel","year":"1952","journal-title":"Simon Stevin"},{"issue":"no. 3 & 4","key":"10.1016\/S0747-7171(08)80120-4_bib27","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S1385-7258(55)50047-3","article-title":"Angles and distances in n-dimensional Euclidean and non-Euclidean geometry. I\u2013III","volume":"17","author":"Seidel","year":"1955","journal-title":"Indag. Math."},{"issue":"no. 3 & 4","key":"10.1016\/S0747-7171(08)80120-4_bib28","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1016\/S1385-7258(55)50073-4","article-title":"Angles and distances in n-dimensional Euclidean and non-Euclidean geometry. I\u2013III","volume":"17","author":"Seidel","year":"1955","journal-title":"Indag. Math."},{"key":"10.1016\/S0747-7171(08)80120-4_bib29","series-title":"Metric Affine Geometry","author":"Snapper","year":"1971"},{"key":"10.1016\/S0747-7171(08)80120-4_bib30","doi-asserted-by":"crossref","DOI":"10.1016\/0001-8708(89)90053-4","article-title":"Gr\u00f6bner bases and invariant theory","author":"Sturmfels","year":"1989","journal-title":"Adv. Math."}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717108801204?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717108801204?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,27]],"date-time":"2018-12-27T11:57:46Z","timestamp":1545911866000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717108801204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,5]]},"references-count":30,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[1991,5]]}},"alternative-id":["S0747717108801204"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(08)80120-4","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[1991,5]]}}}