{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T13:08:34Z","timestamp":1769605714268,"version":"3.49.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100015720","name":"Universidad de Extremadura","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100015720","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2023,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The authors were surprised by the number of articles that used or cited the computer algebra system <jats:italic>DERIVE<\/jats:italic> more than 10 years after it was discontinued and developed a small bibliographic study about it, published in 2019. Now they address in a similar way the very successful dynamic geometry system <jats:italic>GeoGebra<\/jats:italic> that, although created 20 years ago, later than the other great dynamic geometry systems (<jats:italic>Cabri Geometry II<\/jats:italic>, <jats:italic>The Geometer\u2019s Sketchpad<\/jats:italic> and <jats:italic>Cinderella<\/jats:italic>), has now dozens of millions of users around the world. Not surprisingly, the cites to <jats:italic>GeoGebra<\/jats:italic> in the well known bibliographic databases <jats:italic>Scopus<\/jats:italic>, <jats:italic>Web of Science<\/jats:italic> and <jats:italic>Google Scholar<\/jats:italic> show an impressive growth.<\/jats:p>","DOI":"10.1007\/s11786-023-00564-9","type":"journal-article","created":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T03:12:58Z","timestamp":1685329978000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Some Reflections About the Success and Bibliographic Impact of the Dynamic Geometry System GeoGebra"],"prefix":"10.1007","volume":"17","author":[{"given":"Eugenio","family":"Roanes-Lozano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmen","family":"Solano-Mac\u00edas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,5,29]]},"reference":[{"issue":"2","key":"564_CR1","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. Mat. Comput. Simul. 61(2), 141\u2013154 (2003). https:\/\/doi.org\/10.1016\/S0378-4754(02)00173-8","journal-title":"Mat. Comput. Simul."},{"issue":"3\u20134","key":"564_CR2","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.jsc.2005.09.007","volume":"41","author":"B Buchberger","year":"2006","unstructured":"Buchberger, B.: Bruno Buchberger\u2019s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3\u20134), 475\u2013511 (2006). https:\/\/doi.org\/10.1016\/j.jsc.2005.09.007","journal-title":"J. Symb. Comput."},{"key":"564_CR3","unstructured":"Calques3D. (n.a.). http:\/\/www.calques3d.org\/"},{"key":"564_CR4","volume-title":"Mechanical Geometry Theorem Proving","author":"SC Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht (1988)"},{"key":"564_CR5","unstructured":"Cinderella.: (2019). https:\/\/cinderella.de\/tiki-index.php"},{"key":"564_CR6","unstructured":"Clarivate. : Web of Science. (n.a.). https:\/\/www.webofscience.com\/wos\/alldb\/basic-search"},{"key":"564_CR7","unstructured":"GeoGebra. (n.a.). In Wikipedia. https:\/\/es.wikipedia.org\/wiki\/GeoGebra#:~:text=Es"},{"key":"564_CR8","unstructured":"Google Acad\u00e9mico. (n.a.). https:\/\/scholar.google.es\/"},{"key":"564_CR9","unstructured":"GXWeb \/ Geometry Expressions. (n.a.). https:\/\/geometryexpressions.com\/"},{"key":"564_CR10","first-page":"1448","volume":"7","author":"M Hohenwarter","year":"2007","unstructured":"Hohenwarter, M., Preiner, J.: Dynamic mathematics with GeoGebra. J. Online Math. Appl. (JOMA) 7, 1448 (2007)","journal-title":"J. Online Math. Appl. (JOMA)"},{"key":"564_CR11","unstructured":"Hohenwarter, M.: GeoGebra - ein Softwaresystem f\u00fcr dynamische Geometrie und Algebra der Ebene (Master\u2019s thesis). University of Salzburg, (2002)"},{"key":"564_CR12","doi-asserted-by":"crossref","unstructured":"Hohenwarter, M.: GeoGebra - didaktische Materialien und Anwendungen f\u00fcr den Mathematikunterricht (PhD thesis). University of Salzburg, (2006)","DOI":"10.1007\/BF03339335"},{"key":"564_CR13","unstructured":"Kortenkamp, U.: Foundations of dynamic geometry (PhD. Thesis). Swiss Fed. Inst. Tech. Zurich, (1999)"},{"key":"564_CR14","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.jsc.2018.12.003","volume":"97","author":"Z Kov\u00e1cs","year":"2020","unstructured":"Kov\u00e1cs, Z., Recio, T., V\u00e9lez, P.: Reasoning about linkages with dynamic geometry. J. Symb. Comput. 97, 16\u201330 (2020). https:\/\/doi.org\/10.1016\/j.jsc.2018.12.003","journal-title":"J. Symb. Comput."},{"issue":"2","key":"564_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/3493492.3493495","volume":"55","author":"Z Kov\u00e1cs","year":"2021","unstructured":"Kov\u00e1cs, Z., Recio, T., V\u00e9lez, M.P.: Automated reasoning tools in GeoGebra Discovery. ACM Commun. Comput. Algebra 55(2), 39\u201343 (2021). https:\/\/doi.org\/10.1145\/3493492.3493495","journal-title":"ACM Commun. Comput. Algebra"},{"issue":"4","key":"564_CR16","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B Kutzler","year":"1986","unstructured":"Kutzler, B., Stifter, S.: On the application of Buchberger\u2019s algorithm to automated geometry theorem proving. J. Symb. Comput. 2(4), 389\u2013397 (1986)","journal-title":"J. Symb. Comput."},{"key":"564_CR17","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. Reason. 23, 63\u201382 (1999). https:\/\/doi.org\/10.1023\/A:1006135322108","journal-title":"J. Autom. Reason."},{"key":"564_CR18","unstructured":"Roanes-Lozano, E.: Boosting the geometrical possibilities of dynamic geometry systems and computer algebra systems through cooperation. In: M. Borovcnik, H. Kautschitsch (Eds.), Technology in Mathematics Teaching. Proceedings of ICTMT-5, \u00f6bv & hpt, Schrifrenreihe Didaktik der Mathematik 25, Viena, pp. 335\u2013348 (2002)"},{"key":"564_CR19","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s11786-019-00404-9","volume":"13","author":"E Roanes-Lozano","year":"2019","unstructured":"Roanes-Lozano, E., Gal\u00edn-Garc\u00eda, J.L., Solano-Mac\u00edas, C.: Some reflections about the success and impact of the computer algebra system DERIVE with a 10-year time perspective. Math. Comput. Sci. 13, 417\u2013431 (2019). https:\/\/doi.org\/10.1007\/s11786-019-00404-9","journal-title":"Math. Comput. Sci."},{"issue":"9\u201310","key":"564_CR20","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-Mena, M.: A bridge between dynamic geometry and computer algebra. Math. Comp. Mod. 37(9\u201310), 1005\u20131028 (2003). https:\/\/doi.org\/10.1016\/S0895-7177(03)00115-8","journal-title":"Math. Comp. Mod."},{"issue":"6","key":"564_CR21","doi-asserted-by":"publisher","first-page":"1153","DOI":"10.1016\/j.matcom.2009.09.008","volume":"80","author":"E Roanes-Lozano","year":"2010","unstructured":"Roanes-Lozano, E., van Labeke, N., Roanes-Mac\u00edas, E.: Connecting the 3D DGS Calques3D with the CAS Maple. Math. Comput. Simul. 80(6), 1153\u20131176 (2010). https:\/\/doi.org\/10.1016\/j.matcom.2009.09.008","journal-title":"Math. Comput. Simul."},{"key":"564_CR22","unstructured":"Roanes-Mac\u00edas, E., Roanes-Lozano, E.: Nuevas Tecnolog\u00edas en Geometr\u00eda. Editorial Complutense, Madrid (1994)"},{"key":"564_CR23","doi-asserted-by":"publisher","unstructured":"Roanes-Mac\u00edas, E., Roanes-Lozano, E.: Automatic determination of geometric Loci. 3D-extension of Simson-Steiner theorem. In: Campbell, J.A., Roanes-Lozano, E. (eds) Artificial Intelligence and Symbolic Computation. AISC 2000. Lecture Notes in Computer Science, vol 1930. Springer, Berlin, Heidelberg, 2001, pp. 157\u2013173 (2001). https:\/\/doi.org\/10.1007\/3-540-44990-6_12","DOI":"10.1007\/3-540-44990-6_12"},{"key":"564_CR24","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.mcm.2006.04.012","volume":"45","author":"E Roanes-Mac\u00edas","year":"2007","unstructured":"Roanes-Mac\u00edas, E., Roanes-Lozano, E.: 3D-extension of Steiner chains problem. Math. Comput. Model. 45, 137\u2013148 (2007). https:\/\/doi.org\/10.1016\/j.mcm.2006.04.012","journal-title":"Math. Comput. Model."},{"issue":"1","key":"564_CR25","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF03191837","volume":"103","author":"E Roanes-Mac\u00edas","year":"2009","unstructured":"Roanes-Mac\u00edas, E., Roanes-Lozano, E., Fern\u00e1ndez-Biarge, J.: Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system. RACSAM Rev. R. Acad. A 103(1), 93\u2013109 (2009). https:\/\/doi.org\/10.1007\/BF03191837","journal-title":"RACSAM Rev. R. Acad. A"},{"key":"564_CR26","unstructured":"Roanes Mac\u00edas, E., Roanes Lozano, E.: Recreando con GeoGebra el c\u00e1lculo del volumen de la esfera ideado por Arqu\u00edmedes. Bol. Soc. \u201cPuig Adam\u201d Prof. Mat. 102, 62\u201372 (2016)"},{"key":"564_CR27","unstructured":"Scopus. (n.a.). https:\/\/www.scopus.com\/search\/form.uri?display=basic#basic"},{"key":"564_CR28","unstructured":"Instruments, Texas: Cabri Geometry II. Windows y MS-DOS. Texas Instruments Incorporated, Manual para Macintosh (1999)"},{"key":"564_CR29","unstructured":"The Geometer\u2019s Sketchpad Version 5.06. (n.a.). https:\/\/sketchpad.keycurriculum.com\/"},{"key":"564_CR30","doi-asserted-by":"publisher","unstructured":"Todd, P.: Geometry Expressions: a constraint based interactive symbolic geometry system. In: F. Botana, T. Recio (Eds.), Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Springer-Verlag Lecture Notes in Artificial Intelligence 4689, Berlin, Heidelberg, New York, pp. 189\u2013202 , (2007). https:\/\/doi.org\/10.1007\/978-3-540-77356-6_12","DOI":"10.1007\/978-3-540-77356-6_12"},{"key":"564_CR31","unstructured":"van Labeke, N.: Calques 3D: a microworld for spatial geometry learning. ITS\u201998 - System Demonstrations, San Antonio (Texas), August 16\u201319. (1998) . Available from: http:\/\/www.calques3d.org\/docs\/its98-demo.pdf"},{"key":"564_CR32","doi-asserted-by":"crossref","unstructured":"Wu, W.-T.: On the decision problem and the mechanization of theorem-proving in elementary geometry. In: W. W. Bledsoe and D. W. Loveland (Eds.) Automated Theorem Proving. After 25 Years. Contemporary Mathematics 29, AMS, Providence, Rhode Island, pp. 213\u2013234 (1984)","DOI":"10.1090\/conm\/029\/12"},{"key":"564_CR33","doi-asserted-by":"crossref","unstructured":"Wu, W.-T.: Some recent advances in mechanical theorem-proving of geometries. In: W. W. Bledsoe and D. W. Loveland (Eds.) Automated Theorem Proving. After 25 Years. Contemporary Mathematics 29, AMS, Providence, Rhode Island, pp. 235\u2013242 (1984)","DOI":"10.1090\/conm\/029\/13"},{"key":"564_CR34","unstructured":"Wu, W.-T.: The Geometer\u2019s Sketchpad 4 User Guide and Reference Manual. Key Curriculum, Emeryville, CA, (2001)"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-023-00564-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11786-023-00564-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-023-00564-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T06:09:37Z","timestamp":1693375777000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11786-023-00564-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["564"],"URL":"https:\/\/doi.org\/10.1007\/s11786-023-00564-9","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5,29]]},"assertion":[{"value":"27 October 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 December 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 January 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 May 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"11"}}