{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:28:06Z","timestamp":1725586086601},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_31","type":"book-chapter","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T18:12:05Z","timestamp":1308334325000},"page":"353-367","source":"Crossref","is-referenced-by-count":1,"title":["Using Free Open Source Software for Intelligent Geometric Computing"],"prefix":"10.1007","author":[{"given":"Miguel A.","family":"Ab\u00e1nades","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Botana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"Escribano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 L.","family":"Valcarce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad v 4.0. Key Curriculum Press, Berkeley (2002)"},{"key":"31_CR2","unstructured":"Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters, Taiwan (1998)"},{"key":"31_CR3","volume-title":"Cabri Geometry II","author":"J.M. Laborde","year":"1998","unstructured":"Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)"},{"key":"31_CR4","volume-title":"The Interactive Geometry Software Cinderella","author":"J. Richter-Gebert","year":"1999","unstructured":"Richter-Gebert, J., Kortenkamp, U.: The Interactive Geometry Software Cinderella. Springer, Berlin (1999)"},{"key":"31_CR5","unstructured":"GeoGebra, http:\/\/www.geogebra.org"},{"issue":"9-10","key":"31_CR6","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1016\/S0895-7177(03)00115-8","volume":"37","author":"E. Roanes-Lozano","year":"2003","unstructured":"Roanes-Lozano, E., Roanes-Mac\u00edas, E., Villar, M.: A Bridge between Dynamic Geometry and Computer Algebra. Math. Comput. Model.\u00a037(9-10), 1005\u20131028 (2003)","journal-title":"Math. Comput. Model."},{"key":"31_CR7","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., 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)"},{"key":"31_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-73086-6_13","volume-title":"Towards Mechanized Mathematical Assistants","author":"M.A. Ab\u00e1nades","year":"2007","unstructured":"Ab\u00e1nades, M.A., Escribano, J., Botana, F.: First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/CALCULEMUS 2007. LNCS (LNAI), vol.\u00a04573, pp. 131\u2013145. Springer, Heidelberg (2007)"},{"key":"31_CR9","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1016\/j.matcom.2008.04.019","volume":"80","author":"J. Escribano","year":"2010","unstructured":"Escribano, J., Botana, F., Ab\u00e1nades, M.A.: Adding Remote Computational Capabilities to Dynamic Geometry Systems. Math. Comput. Simulat.\u00a080, 1177\u20131184 (2010)","journal-title":"Math. Comput. Simulat."},{"issue":"2","key":"31_CR10","first-page":"325","volume":"12","author":"M.A. Ab\u00e1nades","year":"2009","unstructured":"Ab\u00e1nades, M.A., Botana, F., Escribano, J., Tabera, L.F.: Software matem\u00e1tico libre. Gaceta RSME\u00a012(2), 325\u2013346 (2009)","journal-title":"Gaceta RSME"},{"key":"31_CR11","unstructured":"Stein, W.A., et al.: Sage Mathematics Software (Version 4.6.0), The Sage Development Team (2010), http:\/\/www.sagemath.org"},{"issue":"1-3","key":"31_CR12","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. Comput. Educ.\u00a038(1-3), 21\u201335 (2002)","journal-title":"Comput. Educ."},{"issue":"2,1","key":"31_CR13","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. Simulat.\u00a061(2,1), 139\u2013152 (2003)","journal-title":"Math. Comput. Simulat."},{"key":"31_CR14","unstructured":"Sage server, http:\/\/wiki.sagemath.org\/SageServer"},{"key":"31_CR15","unstructured":"Lagrange Multipliers (Two Variables), http:\/\/ocw.mit.edu\/ans7870\/18\/18.02\/f07\/tools\/LagrangeMultipliersTwoVariables.html"},{"key":"31_CR16","unstructured":"Lagrange-multipliers-applet-interact, https:\/\/193.146.36.46:9000\/home\/pub\/4"},{"issue":"2","key":"31_CR17","doi-asserted-by":"publisher","first-page":"115","DOI":"10.4169\/193009709X469887","volume":"116","author":"T.M. Apostol","year":"2009","unstructured":"Apostol, T.M., Mnatsakanian, M.A.: A New Look at the So-Called Trammel of Archimedes. Am. Math. Month.\u00a0116(2), 115\u2013133 (2009)","journal-title":"Am. Math. Month."},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Decker, W., Greuel, G.M., Pfister, G., Sch\u00f6nemann, H.: Singular 3-1-1 \u2014 A computer algebra system for polynomial computations (2010), http:\/\/www.singular.uni-kl.de","DOI":"10.1145\/1504347.1504377"},{"key":"31_CR19","unstructured":"EscaleraFlexibleSaturada, https:\/\/193.146.36.46:9000\/home\/pub\/5"},{"key":"31_CR20","unstructured":"Capani, A., Niesi, G., Robbiano, L.: CoCoA, a system for doing Computations in Commutative Algebra (1991), http:\/\/cocoa.dima.unige.it"},{"issue":"1-2","key":"31_CR21","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. Simulat.\u00a067(1-2), 3\u201313 (2004)","journal-title":"Math. Comput. Simulat."},{"key":"31_CR22","unstructured":"Wolfram, S.: Mathematica: a system for doing mathematics by computer, 2nd edn. Addison Wesley Longman Publishing Co., Inc., Redwood City (1991)"},{"key":"31_CR23","unstructured":"Lockwood, E.H.: A Book of Curves. Cambridge University Press, Cambridge (1971)"},{"key":"31_CR24","unstructured":"Template 1, http:\/\/nash.sip.ucm.es\/Ggb-direct\/template1\/Ggb-direct-LAD-3PointsAligned.html"},{"key":"31_CR25","unstructured":"GeoGebra JavaScript methods, http:\/\/www.geogebra.org\/en\/wiki\/index.php\/GeoGebra_Applet_Methods"},{"key":"31_CR26","unstructured":"Template 2, http:\/\/nash.sip.ucm.es\/Ggb-directPlus\/Ggb-directPlus-template-flexible-ladder.html"},{"key":"31_CR27","unstructured":"Simple Sage server, http:\/\/www.sagemath.org\/doc\/reference\/sagenb\/simple\/twist.html"},{"key":"31_CR28","unstructured":"http:\/\/www.openmath.org"}],"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_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T21:01:44Z","timestamp":1560286904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21898-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642218972","9783642218989"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21898-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}