{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T13:26:02Z","timestamp":1748265962075},"reference-count":25,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematics and Computers in Simulation"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0378-4754(02)00173-8","type":"journal-article","created":{"date-parts":[[2002,12,3]],"date-time":"2002-12-03T11:41:48Z","timestamp":1038915708000},"page":"139-152","source":"Crossref","is-referenced-by-count":32,"title":["A software tool for the investigation of plane loci"],"prefix":"10.1016","volume":"61","author":[{"given":"F.","family":"Botana","sequence":"first","affiliation":[]},{"given":"J.L.","family":"Valcarce","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0378-4754(02)00173-8_BIB1","doi-asserted-by":"crossref","unstructured":"F. Botana, A web-based intelligent system for geometric discovery, Technical Report, Department of Applied Mathematics, University of Vigo, 2002.","DOI":"10.1007\/3-540-44860-8_83"},{"key":"10.1016\/S0378-4754(02)00173-8_BIB2","unstructured":"F. Botana, 3D-LD: automatic discovery of 3D loci via the web, Technical Report, Department of Applied Mathematics, University of Vigo, 2002."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB3","doi-asserted-by":"crossref","unstructured":"F. Botana, J.L. Valcarce, Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery, in: Proceedings of the CASC\u20192001, Springer, Berlin, 2001, pp. 63\u201374.","DOI":"10.1007\/978-3-642-56666-0_5"},{"issue":"1\u20133","key":"10.1016\/S0378-4754(02)00173-8_BIB4","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0360-1315(01)00089-6","article-title":"A dynamic\u2013symbolic interface for geometric theorem discovery","volume":"38","author":"Botana","year":"2002","journal-title":"Comput. Educ."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB5","doi-asserted-by":"crossref","unstructured":"B. Buchberger, Groebner bases: an algorithmic method in polynomial ideal theory, in: N.K. Bose (Ed.), Multidimensional Systems Theory, Reidel, Dordrecht, 1985, pp. 184\u2013232.","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"10.1016\/S0378-4754(02)00173-8_BIB6","unstructured":"A. Capani, G. Niesi, L. Robbiano, CoCoA: a system for doing computations in commutative algebra. Available via anonymous ftp from: ftp:\/\/cocoa.dima.unige.it."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB7","doi-asserted-by":"crossref","unstructured":"S.C. Chou, Proving elementary geometry theorems using Wu\u2019s algorithm, in: W.W. Bledsoe, D.W. Loveland (Eds.), Automated Theorem Proving: After 25 Years, AMS, Providence, 1984, pp. 243\u2013286.","DOI":"10.1090\/conm\/029\/14"},{"key":"10.1016\/S0378-4754(02)00173-8_BIB8","unstructured":"X.S. Gao, Automated geometry diagram construction and engineering geometry, in: Proceedings of the ADG\u201998, Lecture Notes in Artificial Intelligence, vol. 1669, Springer, Berlin, 1998, pp. 232\u2013257."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB9","unstructured":"X.S. Gao, J.Z. Zhang, S.C. Chou, Geometry Expert, Nine Chapters Publisher, Taiwan, 1998."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB10","doi-asserted-by":"crossref","unstructured":"W. Groebner, Moderne Algebraische Geommetrie: Die Idealtheoretischen Grundlagen, Springer, Berlin, 1949.","DOI":"10.1007\/978-3-7091-5740-4"},{"issue":"6","key":"10.1016\/S0378-4754(02)00173-8_BIB11","doi-asserted-by":"crossref","first-page":"574","DOI":"10.2307\/2589470","article-title":"An extension of the Wallace\u2013Simson theorem: projecting in arbitrary directions","volume":"106","author":"de Guzm\u00e1n","year":"1999","journal-title":"Am. Math. Mon."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB12","unstructured":"N. Jackiw, The Geometer\u2019s Sketchpad, Key Curriculum Press, Berkeley, 1997."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(88)90050-1","article-title":"A refutational approach to geometry theorem proving","volume":"37","author":"Kapur","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB14","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0004-3702(88)90048-3","article-title":"Wu\u2019s method and its application to perspective viewing","volume":"37","author":"Kapur","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB15","unstructured":"J. King, D. Schattschneider, Geometry Turned On, Mathematical Association of America, Washington, DC, 1997."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB16","unstructured":"U. Kortenkamp, Foundations of dynamic geometry, Ph.D. Thesis, ETH, Zurich, 1999."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB17","unstructured":"B. Kuztler, Algebraic approaches to automated geometry theorem proving, Ph.D. Thesis, University of Linz, 1988."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB18","unstructured":"J.M. Laborde, F. Bellemain, Cabri Geometry, vol. II, Texas Instruments, Dallas, 1998."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB19","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1006135322108","article-title":"Automatic discovery of theorems in elementary geometry","volume":"23","author":"Recio","year":"1999","journal-title":"J. Autom. Reason."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB20","doi-asserted-by":"crossref","unstructured":"J. Richter-Gebert, U. Kortenkamp, The Interactive Geometry Software Cinderella, Springer, Berlin, 1999.","DOI":"10.1007\/978-3-642-58318-6"},{"key":"10.1016\/S0378-4754(02)00173-8_BIB21","unstructured":"E. Roanes-Mac\u0131\u0301as, E. Roanes-Lozano, Automatic determination of geometric loci. 3D-extension of Simson\u2013Steiner theorem, in: Proceedings of the AISC\u20192000, Lecture Notes in Artificial Intelligence, vol. 1930, Springer, Berlin, 2000, pp. 157\u2013173."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB22","unstructured":"I.E. Sutherland, Sketchpad: a man\u2013machine graphical communication system, in: H. Freeman (Ed.), Tutorial and Selected Readings in Interactive Computer Graphics, IEEE Computer Society, University of Utrecht, 1980, pp. 2\u201319."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB23","unstructured":"J.L. Valcarce, F. Botana, Developing a dynamic geometry environment with Prolog, Technical Report, Department of Applied Mathematics, University of Vigo, 1999."},{"key":"10.1016\/S0378-4754(02)00173-8_BIB24","doi-asserted-by":"crossref","unstructured":"W.T. Wu, Mechanical Theorem Proving in Geometries, Springer, Vienna, 1994.","DOI":"10.1007\/978-3-7091-6639-0"},{"key":"10.1016\/S0378-4754(02)00173-8_BIB25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0747-7171(08)80138-1","article-title":"A new lower bound for commutative Thue systems, with applications","volume":"12","author":"Yap","year":"1991","journal-title":"J. Symb. Comput."}],"container-title":["Mathematics and Computers in Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0378475402001738?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0378475402001738?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,11]],"date-time":"2020-03-11T02:21:50Z","timestamp":1583893310000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0378475402001738"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S0378475402001738"],"URL":"https:\/\/doi.org\/10.1016\/s0378-4754(02)00173-8","relation":{},"ISSN":["0378-4754"],"issn-type":[{"value":"0378-4754","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}