{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:28:18Z","timestamp":1725586098154},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642218972"},{"type":"electronic","value":"9783642218989"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21898-9_30","type":"book-chapter","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T14:12:05Z","timestamp":1308319925000},"page":"342-352","source":"Crossref","is-referenced-by-count":3,"title":["On the Parametric Representation of Dynamic Geometry Constructions"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","volume-title":"The Geometer\u2019s Sketchpad","author":"N. Jackiw","year":"2002","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad, vol.\u00a04.0. Key Curriculum Press, Berkeley (2002)"},{"key":"30_CR2","unstructured":"Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)"},{"key":"30_CR3","unstructured":"List of interactive geometry software, \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/List_of_interactive_geometry_software"},{"key":"30_CR4","doi-asserted-by":"publisher","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: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184\u2013231. Reidel, Dordrecht (1985)"},{"key":"30_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6639-0","volume-title":"Mechanical Theorem Proving in Geometries","author":"W.T. Wu","year":"1994","unstructured":"Wu, W.T.: Mechanical Theorem Proving in Geometries. Springer, Vienna (1994)"},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(88)90050-1","volume":"37","author":"D. Kapur","year":"1988","unstructured":"Kapur, D.: A Refutational Approach to Geometry Theorem Proving. Artif. Intell.\u00a037, 61\u201394 (1988)","journal-title":"Artif. Intell."},{"key":"30_CR7","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D. Kapur","year":"1986","unstructured":"Kapur, D.: Using Groebner Bases to Reason about Geometry Problems. J. Symb. Comput.\u00a02, 399\u2013408 (1986)","journal-title":"J. Symb. Comput."},{"key":"30_CR8","volume-title":"Mechanical Geometry Theorem Proving","author":"S.C. Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht (1988)"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1090\/conm\/029\/14","volume-title":"Automated Theorem Proving: After 25 years. Contemporary Mathematics","author":"S.C. Chou","year":"1984","unstructured":"Chou, S.C.: Proving Elementary Geometry Theorems Using Wu\u2019s Algorithm. In: Bledsoe, W.W., Loveland, D.W. (eds.) Automated Theorem Proving: After 25 years. Contemporary Mathematics, vol.\u00a029, pp. 243\u2013286. AMS, Providence (1984)"},{"key":"30_CR10","unstructured":"Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters, Taiwan (1998)"},{"key":"30_CR11","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (1996)"},{"key":"30_CR12","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. J. Autom. Reasoning\u00a023, 63\u201382 (1999)","journal-title":"J. Autom. Reasoning"},{"issue":"9\u201310","key":"30_CR13","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. Math. Comput. Model.\u00a037(9\u201310), 1005\u20131028 (2003)","journal-title":"Math. Comput. Model."},{"issue":"1\u20133","key":"30_CR14","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\u2013Symbolic Interface for Geometric Theorem Discovery. Comput. Educ.\u00a038(1\u20133), 21\u201335 (2002)","journal-title":"Comput. Educ."},{"key":"30_CR15","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":"30_CR16","unstructured":"Capani, A., Niesi, G., Robbiano, L.: CoCoA, a System for Doing Computations in Commutative Algebra, \n                    \n                      http:\/\/cocoa.dima.unige.it"},{"key":"30_CR17","volume-title":"Geometry Turned On","author":"J. King","year":"1997","unstructured":"King, J., Schattschneider, D.: Geometry Turned On. MAA, Washington (1997)"},{"key":"30_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-47997-X_12","volume-title":"Automated Deduction in Geometry","author":"X.-S. Gao","year":"1999","unstructured":"Gao, X.-S.: Automated geometry diagram construction and engineering geometry. In: Wang, D., Yang, L., Gao, X.-S. (eds.) ADG 1998. LNCS (LNAI), vol.\u00a01669, p. 232. Springer, Heidelberg (1999)"},{"key":"30_CR19","series-title":"LNCS","first-page":"801","volume-title":"ICCS 2002","author":"F. Botana","year":"2003","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.J., Hoekstra, A.G. (eds.) ICCS 2002. LNCS, vol.\u00a02657, pp. 801\u2013810. Springer, Heidelberg (2003)"},{"key":"30_CR20","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)"},{"key":"30_CR21","unstructured":"http:\/\/download.cabri.com\/data\/pdfs\/manuals\/cabri2plus140\/Man_uk_PDF3.pdf"},{"key":"30_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-72586-2_32","volume-title":"Computational Science \u2013 ICCS 2007","author":"F. Botana","year":"2007","unstructured":"Botana, F., Ab\u00e1nades, M.A., Escribano, J.: Computing locus equations for standard dynamic geometry environments. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007. LNCS, vol.\u00a04488, pp. 227\u2013234. Springer, Heidelberg (2007)"},{"issue":"2","key":"30_CR23","doi-asserted-by":"publisher","first-page":"139","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. Math. Comput. Simul.\u00a061(2), 139\u2013152 (2003)","journal-title":"Math. Comput. Simul."},{"key":"30_CR24","unstructured":"JSXGraph, \n                    \n                      http:\/\/jsxgraph.uni-bayreuth.de"},{"key":"30_CR25","unstructured":"GeoGebra, \n                    \n                      http:\/\/www.geogebra.at"},{"key":"30_CR26","unstructured":"GeoGebra Locus Line Equation, \n                    \n                      http:\/\/www.geogebra.org\/trac\/wiki\/LocusLineEquation"},{"issue":"1\u20132","key":"30_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.matcom.2004.05.004","volume":"67","author":"F. Botana","year":"2004","unstructured":"Botana, F., Valcarce, J.L.: Automatic Determination of Envelopes and Other Derived Curves within a Graphic Environment. Math. Comput. Simul.\u00a067(1\u20132), 3\u201313 (2004)","journal-title":"Math. Comput. Simul."},{"key":"30_CR28","unstructured":"Geometry Expressions, \n                    \n                      http:\/\/www.geometryexpressions.com"},{"key":"30_CR29","unstructured":"Stein, W.A., et al.: Sage Mathematics Software (Version 4.6.0). The Sage Development Team (2010), \n                    \n                      http:\/\/www.sagemath.org"},{"key":"30_CR30","unstructured":"Automatic Discovery Sage Library, \n                    \n                      http:\/\/webs.uvigo.es\/fbotana\/AutDiscLib.sws.txt"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications - ICCSA 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21898-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T19:50:52Z","timestamp":1553802652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21898-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642218972","9783642218989"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21898-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}