{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:35:59Z","timestamp":1725489359195},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401940"},{"type":"electronic","value":"9783540448600"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44860-8_91","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:12:47Z","timestamp":1187251967000},"page":"879-886","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Determination of Algebraic Surfaces as Loci of Points"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"91_CR1","volume-title":"Groebner Bases. A Computational Approach to Commutative Algebra","author":"T. Becker","year":"1998","unstructured":"Becker, T., Weispfenning, V.: Groebner Bases. A Computational Approach to Commutative Algebra. Springer, Berlin (1998)"},{"issue":"1\u20133","key":"91_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0360-1315(01)00089-6","volume":"38","author":"F. Botana","year":"2002","unstructured":"Botana, F., Valcarce, J.L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education, 38(1\u20133), 21\u201335 (2002)","journal-title":"Computers and Education"},{"key":"91_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-46080-2_22","volume-title":"Proc. I Int. Workshop on Computer Graphics and Geometric Modelling CGGM\u20192002","author":"F. Botana","year":"2002","unstructured":"Botana, F.: Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments. Proc. I Int. Workshop on Computer Graphics and Geometric Modelling CGGM\u20192002, Lecture Notes in Computer Science, 2330, 211\u2013218 (2002)"},{"issue":"2","key":"91_CR4","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0378-4754(02)00173-8","volume":"61","author":"F. Botana","year":"2003","unstructured":"Botana, F., Valcarce, J.L.: A software tool for the investigation of plane loci. Mathematics and Computers in Simulation, 61(2), 141\u2013154 (2003)","journal-title":"Mathematics and Computers in Simulation"},{"key":"91_CR5","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional systems theory","author":"B. Buchberger","year":"1985","unstructured":"Buchberger, B.: Groebner Bases: an Algorithmic Method in Polynomial Ideal Theory. In N.K. Bose, Multidimensional systems theory, Reidel, Dordrecht, 184\u2013232 (1985)"},{"key":"91_CR6","unstructured":"Capani, A., Niesi, G., L. Robbiano: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from: \n                    ftp:\/\/cocoa.dima.unige.it"},{"key":"91_CR7","volume-title":"Mechanical Geometry Theorem Proving","author":"S. C. Chou","year":"1988","unstructured":"Chou, S. C.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht (1988)"},{"key":"91_CR8","unstructured":"Gao, X.S.: Automated geometry diagram construction and engineering geometry. Proc. Automated Deduction in Geometry ADG\u201998, Lecture Notes in Artificial Intelligence, 1669, 232\u2013257 (1998)"},{"issue":"6","key":"91_CR9","doi-asserted-by":"publisher","first-page":"574","DOI":"10.2307\/2589470","volume":"106","author":"M. Guzm\u00e1n","year":"1999","unstructured":"Guzm\u00e1n, M.: An extension of the Wallace-Simson theorem: projecting in arbitrary directions. American Mathematical Monthly, 106(6), 574\u2013580 (1999)","journal-title":"American Mathematical Monthly"},{"key":"91_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T. Recio","year":"1999","unstructured":"Recio, T., V\u00e9lez, M. P.: Automatic discovery of theorems in elementary geometry. Journal of Automated Reasoning, 23, 63\u201382 (1999)","journal-title":"Journal of Automated Reasoning"},{"key":"91_CR11","unstructured":"Roanes-Mac\u00edas, E., Roanes-Lozano, E.: Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem. Proc. Artificial Intelligence and Symbolic Computing AISC 2000, Lecture Notes in Artificial Intelligence, 1930, 157\u2013173 (2000)"},{"key":"91_CR12","unstructured":"Van Labeke, N.: Calques 3D: a microworld for spatial geometry learning. Proc. Intelligent Tutoring Systems ITS\u201998. System Demonstrations (1998)"},{"key":"91_CR13","volume-title":"Mechanical Theorem Proving in Geometries","author":"W. T. Wu","year":"1994","unstructured":"Wu, W. T.: Mechanical Theorem Proving in Geometries. Springer, Wien (1994)"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2014 ICCS 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44860-8_91","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T22:11:09Z","timestamp":1550787069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44860-8_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401940","9783540448600"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44860-8_91","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}