{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:06:09Z","timestamp":1725487569551},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540725855"},{"type":"electronic","value":"9783540725862"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72586-2_32","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T18:41:51Z","timestamp":1184611311000},"page":"227-234","source":"Crossref","is-referenced-by-count":6,"title":["Computing Locus Equations for Standard Dynamic Geometry Environments"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel A.","family":"Ab\u00e1nades","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"Escribano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Autin, B.: Pure and applied geometry with Geometrica. In: Proc. 8th Int. Conf. on Applications of Computer Algebra (ACA 2002), pp. 109\u2013110 (2002)"},{"issue":"1\u20133","key":"32_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\u00a038(1\u20133), 21\u201335 (2002)","journal-title":"Computers and Education"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-46080-2_22","volume-title":"Computational Science - ICCS 2002","author":"F. Botana","year":"2002","unstructured":"Botana, F.: Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments. In: Sloot, P.M.A., Tan, C.J.K., Dongarra, J., Hoekstra, A.G. (eds.) ICCS-ComputSci 2002. LNCS, vol.\u00a02330, pp. 211\u2013218. Springer, Heidelberg (2002)"},{"issue":"2","key":"32_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\u00a061(2), 141\u2013154 (2003)","journal-title":"Mathematics and Computers in Simulation"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/3-540-44860-8_83","volume-title":"Computational Science \u2013 ICCS 2003","author":"F. Botana","year":"2003","unstructured":"Botana, F.: A Web-based intelligent system for geometric discovery. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J., Zomaya, A.Y. (eds.) ICCS 2003. LNCS, vol.\u00a02657, pp. 801\u2013810. Springer, Heidelberg (2003)"},{"key":"32_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/11615798_7","volume-title":"Automated Deduction in Geometry","author":"F. Botana","year":"2006","unstructured":"Botana, F., Recio, T.: Towards solving the dynamic geometry bottleneck via a symbolic approach. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS (LNAI), vol.\u00a03763, pp. 92\u2013110. Springer, Heidelberg (2006)"},{"key":"32_CR7","unstructured":"Capani, A., Niesi, G., Robbiano, L.: CoCoA, a system for doing Computations in Commutative Algebra, Available via anonymous ftp from: \n                  \n                    http:\/\/cocoa.dima.unige.it\/"},{"key":"32_CR8","unstructured":"Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Taiwan (1998)"},{"key":"32_CR9","unstructured":"http:\/\/www.geogebra.at"},{"key":"32_CR10","volume-title":"The Geometer\u2019s Sketchpad v 4.0","author":"N. Jackiw","year":"2002","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad v 4.0. Key Curriculum Press, Berkeley (2002)"},{"key":"32_CR11","unstructured":"Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)"},{"key":"32_CR12","unstructured":"Miyaji, C., Kimura, H.: Writing a graphical user interface for Mathematica using Mathematica and Mathlink. In: Proc. 2nd Int. Mathematica Symposium (IMS\u201997), pp. 345\u2013352 (1997)"},{"key":"32_CR13","unstructured":"http:\/\/www.openmath.org\/"},{"key":"32_CR14","volume-title":"The Interactive Geometry Software Cinderella","author":"J. Richter\u2013Gebert","year":"1999","unstructured":"Richter\u2013Gebert, J., Kortenkamp, U.: The Interactive Geometry Software Cinderella. Springer, Berlin (1999)"},{"issue":"9\u201310","key":"32_CR15","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1016\/S0895-7177(03)00115-8","volume":"37","author":"E. Roanes\u2013Lozano","year":"2003","unstructured":"Roanes\u2013Lozano, E., Roanes\u2013Mac\u00edas, E., Villar, M.: A bridge between dynamic geometry and computer algebra. Mathematical and Computer Modelling\u00a037(9\u201310), 1005\u20131028 (2003)","journal-title":"Mathematical and Computer Modelling"},{"issue":"6","key":"32_CR16","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF02656694","volume":"35","author":"H. Schumann","year":"2003","unstructured":"Schumann, H.: A dynamic approach to \u2018simple\u2019 algebraic curves. Zentralblatt f\u00fcr Didaktik der Mathematik\u00a035(6), 301\u2013316 (2003)","journal-title":"Zentralblatt f\u00fcr Didaktik der Mathematik"},{"key":"32_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-61511-3_78","volume-title":"Automated Deduction - Cade-13","author":"D. Wang","year":"1996","unstructured":"Wang, D.: GEOTHER: A geometry theorem prover. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol.\u00a01104, pp. 166\u2013170. Springer, Heidelberg (1996)"},{"key":"32_CR18","unstructured":"http:\/\/www.wolfram.com\/products\/webmathematica\/index.html"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72586-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T02:18:17Z","timestamp":1550456297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72586-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540725855","9783540725862"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72586-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}