{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:03Z","timestamp":1725490143944},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540420712"},{"type":"electronic","value":"9783540449904"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44990-6_12","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:20:43Z","timestamp":1188310843000},"page":"157-173","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem"],"prefix":"10.1007","author":[{"given":"Eugenio","family":"Roanes-Mac\u00edas","sequence":"first","affiliation":[]},{"given":"Eugenio","family":"Roanes-Lozano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"D. Cox, J. Little, D. O\u2019shea: Ideals, Varieties, and Algorithms. Springer, 1991.","key":"12_CR1","DOI":"10.1007\/978-1-4757-2181-2"},{"doi-asserted-by":"crossref","unstructured":"S. C. Chou: Mechanical Geometry Theorem Proving. Reidel, 1988.","key":"12_CR2","DOI":"10.1007\/978-94-009-4037-6"},{"issue":"6","key":"12_CR3","doi-asserted-by":"publisher","first-page":"574","DOI":"10.2307\/2589470","volume":"106","author":"M. d. Guzm\u00e1n","year":"1999","unstructured":"M. de Guzm\u00e1n: An Extension of the Wallace-Simson Theorem: Projecting in Arbitrary Directions. Mathematical Monthly, 106,6, June 1999 (pages 574\u2013580).","journal-title":"Mathematical Monthly"},{"unstructured":"D. Kapur: Automated Geometric Reasoning: Dixon Resultants, Groebner Bases and Characteristic Sets. In: D. Wang (ed.): Proceedings International Workshop on Automated Deduction in Geometry. Springer-Verlag, LNAI 1360.","key":"12_CR4"},{"unstructured":"D. Kapur, J.L. Mundy: Wu\u2019s method and its application to perspective viewing. In: D. Kapur and J.L. Mundy (eds.): Geometric Reasoning. MIT Press, 1989.","key":"12_CR5"},{"unstructured":"W. Koepf: Gr\u00f6bner bases and triangles. Int. J. of Comput. Algebra in Math. Education, 4,4, 1998 (pages 371\u2013386).","key":"12_CR6"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T. Recio","year":"1999","unstructured":"T. Recio, M. P. V\u00e9lez: Automatic Discovery of Theorems in Elementary Geometry. Journal of Automated Reasoning, 23, 1999(pages 63\u201382).","journal-title":"Journal of Automated Reasoning"},{"unstructured":"E. Roanes M., E. Roanes L.: C\u00e1lculos autom\u2032aticos por ordenador con MapleV.5. Rubi\u00f1os, 1999.","key":"12_CR8"},{"key":"12_CR9","first-page":"67","volume":"53","author":"E. Roanes M.","year":"1999","unstructured":"E. Roanes M., E. Roanes L.: B\u00dasqueda Autom\u00e1tica de Lugares Geom\u00e9tricos. Bol. Soc. Puig Adam de Profs. de Matem\u00e1ticas, 53, 1999(pages 67\u201377).","journal-title":"B\u00dasqueda Autom\u00e1tica de Lugares Geom\u00e9tricos. Bol. Soc. Puig Adam de Profs. de Matem\u00e1ticas"},{"doi-asserted-by":"crossref","unstructured":"W. T. Wu: Mechanical Theorem Proving in Geometries. Text and Monographs in Symbolic Computation. Springer-Verlag, 1994.","key":"12_CR10","DOI":"10.1007\/978-3-7091-6639-0"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44990-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:08:00Z","timestamp":1556816880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44990-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540420712","9783540449904"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44990-6_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}