{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:58:54Z","timestamp":1760061534762,"version":"3.37.3"},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,4,25]],"date-time":"2017-04-25T00:00:00Z","timestamp":1493078400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11786-017-0302-8","type":"journal-article","created":{"date-parts":[[2017,4,25]],"date-time":"2017-04-25T00:06:22Z","timestamp":1493078782000},"page":"427-437","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Towards an Intelligent and Dynamic Geometry Book"],"prefix":"10.1007","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7728-4935","authenticated-orcid":false,"given":"Pedro","family":"Quaresma","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"302_CR1","first-page":"246","volume-title":"Artificial Intelligence in Education: AI-ED in the Wired and Wireless Future, Proceedings of AI-ED 2001","author":"V Aleven","year":"2001","unstructured":"Aleven, V., Popescu, O., Koedinger, K.R.: Towards tutorial dialog to support self-explanation: adding natural language understanding to a cognitive tutor. In: Moore, J.D., Redfield, C.L., Johnson, W.L. (eds.) Artificial Intelligence in Education: AI-ED in the Wired and Wireless Future, Proceedings of AI-ED 2001, pp. 246\u2013255. IOS Press, Amsterdam (2001)"},{"key":"302_CR2","unstructured":"Balacheff, N., Caferra, R., Cerulli, M., Gaudin, N., Maracci, M., Mariotti, M.A., Muller, J.P., Nicaud, J.F., Occello, M., Olivero, F., Peltier, N., Pesty, S., Soury-Lavergne, S., Sutherland, R., Trgalova, J., Webber, C.: Baghera assessment project, designing an hybrid and emergent educational society. Tech. Rep.\u00a081, Laboratoire Leibniz-IMAG (2003)"},{"key":"302_CR3","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.entcs.2004.09.013","volume":"103","author":"Y Bertot","year":"2004","unstructured":"Bertot, Y., Guilhot, F., Pottier, L.: Visualizing geometrical statements with GeoView. Electron. Notes Theor. Comput. Sci. 103, 49\u201365 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"302_CR4","unstructured":"Bokhove, C., Jones, K., Charlton, P., Mavrikis, M., Geraniou, E.: Authoring your own creative, electronic book for mathematics: the mc-squared project (July 2014) (ICMT-2014). http:\/\/eprints.soton.ac.uk\/367609\/"},{"issue":"1","key":"302_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10817-015-9326-4","volume":"55","author":"F Botana","year":"2015","unstructured":"Botana, F., Hohenwarter, M., Jani\u010di\u0107, P., Kov\u00e1cs, Z., Petrovi\u0107, I., Recio, T., Weitzhofer, S.: Automated theorem proving in geogebra: current achievements. J. Autom. Reason. 55(1), 39\u201359 (2015). doi: 10.1007\/s10817-015-9326-4","journal-title":"J. Autom. Reason."},{"key":"302_CR6","doi-asserted-by":"crossref","unstructured":"Botana, F., Quaresma, P. (eds.): Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, July 9\u201311, 2014, Revised Selected Papers. Lecture Notes in Computer Science, vol. 9201, pp. 119\u2013128. Springer, Cham (2015)","DOI":"10.1007\/978-3-319-21362-0"},{"key":"302_CR7","unstructured":"Boutry, P., Braun, G., Narboux, J.: From Tarski to descartes: formalization of the arithmetization of euclidean geometry. In: Davenport, J.H., Ghourabi, F. (eds.) SCSS 2016, the 7th International Symposium on Symbolic Computation in Software Science. EPiC Series in Computing, vol.\u00a039, p.\u00a015. EasyChair, Tokyo (March 2016). https:\/\/hal.archives-ouvertes.fr\/hal-01282550"},{"key":"302_CR8","unstructured":"Boutry, P., Narboux, J., Schreck, P., Braun, G.: Using small scale automation to improve both accessibility and readability of formal proofs in geometry. In: Botana, F., Quaresma, P. (eds.) Preliminary Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), 9\u201311 July 2014, University of Coimbra, Portugal. CISUC Technical Reports, No. 2014\/01, pp. 31\u201350. CISUC (2014)"},{"key":"302_CR9","unstructured":"Braun, G., Boutry, P., Narboux, J.: From Hilbert to Tarski. In: 11th International Workshop on Automated Deduction in Geometry. Proceedings of ADG 2016, p.\u00a019. Strasbourg (Jun 2016). https:\/\/hal.inria.fr\/hal-01332044"},{"key":"302_CR10","doi-asserted-by":"publisher","unstructured":"Braun, G., Narboux, J.: From Tarski to Hilbert. In: Ida, T., Fleuriot, J. (eds.) Automated Deduction in Geometry, Lecture Notes in Computer Science, vol. 7993, pp. 89\u2013109. Springer, Berlin (2013). doi: 10.1007\/978-3-642-40672-0_7","DOI":"10.1007\/978-3-642-40672-0_7"},{"key":"302_CR11","unstructured":"Braun, G., Narboux, J.: A synthetic proof of Pappus\u2019 theorem in Tarski\u2019s geometry. J. Autom. Reason. 23 (Apr. 2016). https:\/\/hal.inria.fr\/hal-01176508"},{"key":"302_CR12","first-page":"432","volume-title":"Intelligent Computer Mathematics. Lecture Notes in Artificial Intelligence","author":"X Chen","year":"2012","unstructured":"Chen, X., Li, W., Luo, J., Wang, D.: Open geometry textbook: a case study of knowledge acquisition via collective intelligence. In: Campbell, J.A., Carette, J., Reis, G.D., Sojka, P., Wenzel, M., Sorge, V. (eds.) Intelligent Computer Mathematics. Lecture Notes in Artificial Intelligence, vol. 7362, pp. 432\u2013437. Springer, Berlin (2012)"},{"key":"302_CR13","doi-asserted-by":"crossref","unstructured":"Chen, X.: Electronic geometry textbook: a geometric textbook knowledge management system. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P., Rideau, L., Rioboo, R., Sexton, A. (eds.) Intelligent Computer Mathematics. pp. 278\u2013292. No. 6167 in Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-14128-7_24"},{"issue":"2","key":"302_CR14","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/s11424-014-0316-0","volume":"27","author":"X Chen","year":"2014","unstructured":"Chen, X.: Representation and automated transformation of geometric statements. J. Syst. Sci. Complex. 27(2), 382\u2013412 (2014). doi: 10.1007\/s11424-014-0316-0","journal-title":"J. Syst. Sci. Complex."},{"key":"302_CR15","doi-asserted-by":"crossref","unstructured":"Chen, X., Wang, D.: Management of geometric knowledge in textbooks. Data Knowl. Eng. 73, 43\u201357 (2012). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0169023X11001431","DOI":"10.1016\/j.datak.2011.10.004"},{"key":"302_CR16","unstructured":"Chou, S.: Proving and discovering geometry theorems using Wu\u2019s method. Ph.D. Thesis, The University of Texas, Austin (1985)"},{"key":"302_CR17","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: A collection of 110 geometry theorems and their machine produced proofs using full-angles. Tech. Rep. TR-94-4, Department of Computer Science, The Wichita State University (Nov. 1994)"},{"issue":"13","key":"302_CR18","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00283133","volume":"17","author":"SC Chou","year":"1996","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated generation of readable proofs with geometric invariants, I. Multiple and shortest proof generation. J. Autom. Reason. 17(13), 325\u2013347 (1996)","journal-title":"J. Autom. Reason."},{"issue":"13","key":"302_CR19","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF00283134","volume":"17","author":"SC Chou","year":"1996","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated generation of readable proofs with geometric invariants, II. Theorem proving with full-angles. J. Autom. Reason. 17(13), 349\u2013370 (1996)","journal-title":"J. Autom. Reason."},{"key":"302_CR20","doi-asserted-by":"crossref","unstructured":"Chrysafiadi, K., Virvou, M.: Student modeling approaches: a literature review for the last decade. Expert Syst. Appl. 40(11), 4715\u20134729 (2013). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S095741741300122X","DOI":"10.1016\/j.eswa.2013.02.007"},{"key":"302_CR21","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10758-007-9111-5","volume":"12","author":"P Cobo","year":"2007","unstructured":"Cobo, P., Fortuny, J., Puertas, E., Richard, P.: AgentGeom: a multiagent system for pedagogical support in geometric proof problems. Int. J. Comput. Math. Learn. 12, 57\u201379 (2007). doi: 10.1007\/s10758-007-9111-5","journal-title":"Int. J. Comput. Math. Learn."},{"key":"302_CR22","unstructured":"Cueli, M., Gonz\u00e1lez-Castro, P., Krawec, J., N\u00fa\u00f1ez, J.C., Gonz\u00e1lez-Pienda, J.A.: Hipatia: a hypermedia learning environment in mathematics. An. Psicol. Ann. Psychol. 32(1), 98\u2013105 (2015). http:\/\/revistas.um.es\/analesps\/article\/view\/analesps.32.1.185641"},{"key":"302_CR23","doi-asserted-by":"publisher","unstructured":"Fuchs, L., Th\u00e9ry, L.: A formalization of Grassmann\u2013Cayley algebra in COQ and its application to theorem proving in projective geometry. In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) Automated Deduction in Geometry. Lecture Notes in Computer Science, vol. 6877, pp. 51\u201367. Springer, Berlin (2011). doi: 10.1007\/978-3-319-21362-0","DOI":"10.1007\/978-3-319-21362-0"},{"key":"302_CR24","doi-asserted-by":"crossref","unstructured":"Gillies, R.M.: Structuring cooperative group work in classrooms. Int. J. Educ. Res. 39(1\u20132), 35\u201349 (2003). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0883035503000727","DOI":"10.1016\/S0883-0355(03)00072-7"},{"key":"302_CR25","doi-asserted-by":"publisher","unstructured":"G\u00e9nevaux, J.D., Narboux, J., Schreck, P.: Formalization of Wu\u2019s simple method in coq. In: Jouannaud, J.P., Shao, Z. (eds.) Certified Programs and Proofs, Lecture Notes in Computer Science, vol. 7086, pp. 71\u201386. Springer, Berlin (2011). doi: 10.1007\/978-3-642-25379-9_8","DOI":"10.1007\/978-3-642-25379-9_8"},{"key":"302_CR26","doi-asserted-by":"crossref","unstructured":"Gr\u00e9goire, B., Pottier, L., Th\u00e9ry, L.: Proof certificates for algebra and their application to automatic geometry theorem proving. In: International Workshop on Automated Deduction in Geometry, pp. 42\u201359. Springer (2008)","DOI":"10.1007\/978-3-642-21046-4_3"},{"key":"302_CR27","doi-asserted-by":"crossref","unstructured":"Haralambous, Y., Quaresma, P.: Querying geometric figures using a controlled language, ontological graphs and dependency lattices. In: S.W., et\u00a0al. (ed.) CICM 2014. LNAI, vol. 8543, pp. 298\u2013311. Springer (2014)","DOI":"10.1007\/978-3-319-08434-3_22"},{"key":"302_CR28","doi-asserted-by":"crossref","unstructured":"Ida, T., Kasem, A., Ghourabi, F., Takahashi, H.: Morley\u2019s theorem revisited: origami construction and automated proof. J. Symb. Comput. 46(5), 571\u2013583 (2011). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0747717110001768","DOI":"10.1016\/j.jsc.2010.10.007"},{"key":"302_CR29","doi-asserted-by":"crossref","unstructured":"Jani\u010di\u0107, P.: GCLC\u2014a tool for constructive euclidean geometry and more than that. In: Iglesias, A., Takayama, N. (eds.) Mathematical Software\u2014ICMS 2006, Lecture Notes in Computer Science, vol. 4151, pp. 58\u201373. Springer (2006)","DOI":"10.1007\/11832225_6"},{"issue":"4","key":"302_CR30","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10817-010-9209-7","volume":"48","author":"P Jani\u010di\u0107","year":"2012","unstructured":"Jani\u010di\u0107, P., Narboux, J., Quaresma, P.: The area method: a recapitulation. J. Autom. Reason. 48(4), 489\u2013532 (2012)","journal-title":"J. Autom. Reason."},{"key":"302_CR31","doi-asserted-by":"crossref","unstructured":"Jani\u010di\u0107, P., Quaresma, P.: System description: GCLCprover + GeoThms. In: Furbach, U., Shankar, N. (eds.) Automated Reasoning, Lecture Notes in Computer Science, vol. 4130, pp. 145\u2013150. Springer (2006)","DOI":"10.1007\/11814771_13"},{"issue":"4","key":"302_CR32","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1007\/s11424-012-2048-3","volume":"25","author":"J Jiang","year":"2012","unstructured":"Jiang, J., Zhang, J.: A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. Complex. 25(4), 802\u2013820 (2012). doi: 10.1007\/s11424-012-2048-3","journal-title":"J. Syst. Sci. Complex."},{"issue":"4","key":"302_CR33","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D Kapur","year":"1986","unstructured":"Kapur, D.: Using Gr\u00f6bner bases to reason about geometry problems. J. Symb. Comput. 2(4), 399\u2013408 (1986)","journal-title":"J. Symb. Comput."},{"key":"302_CR34","unstructured":"Kortenkamp, U., Blessing, A.M., Dohrmann, C., Kreis, Y., Libbrecht, P., Mercat, C.: Interoperable interactive geometry for Europe\u2014first technological and educational results and future challenges of the intergeo project. In: CERME 6 (2006)"},{"key":"302_CR35","unstructured":"Kortenkamp, U., Dohrmann, C., Kreis, Y., Dording, C., Libbrecht, P., Mercat, C.: Using the intergeo platform for teaching and research. In: Proceedings of the 9th International Conference on Technology in Mathematics Teaching (ICTMT-9) (2009)"},{"key":"302_CR36","doi-asserted-by":"publisher","unstructured":"Kov\u00e1cs, Z.: The Relation Tool in GeoGebra 5, pp. 53\u201371. Springer International Publishing (2015). doi: 10.1007\/978-3-319-21362-0_4","DOI":"10.1007\/978-3-319-21362-0_4"},{"key":"302_CR37","first-page":"205","volume-title":"Mathematics Mechanization and Applications","author":"H Li","year":"2000","unstructured":"Li, H.: Clifford algebra approaches to mechanical geometry theorem proving. In: Gao, X.S., Wang, D. (eds.) Mathematics Mechanization and Applications, pp. 205\u2013299. Academic, San Diego (2000)"},{"key":"302_CR38","unstructured":"Lin, F.L., Hsieh, F.J., Hanna, G., de Villiers, M. (eds.): Proceedings of the ICMI study 19 conference: proof and proving in mathematics education, vol.\u00a01. The Department of Mathematics, National Taiwan Normal University (2009)"},{"key":"302_CR39","unstructured":"Lin, F.L., Hsieh, F.J., Hanna, G., de Villiers, M. (eds.): Proceedings of the ICMI study 19 conference: proof and proving in mathematics education, vol.\u00a02. The Department of Mathematics, National Taiwan Normal University (2009)"},{"key":"302_CR40","doi-asserted-by":"crossref","unstructured":"Luengo, V.: Some didactical and epistemological considerations in the design of educational software: the Cabri\u2013Euclide example. Int. J. Comput. Math. Learn. 10(1), 1\u201329 (2005). https:\/\/hal.archives-ouvertes.fr\/hal-00961977","DOI":"10.1007\/s10758-005-4580-x"},{"key":"302_CR41","doi-asserted-by":"crossref","unstructured":"Magaud, N., Narboux, J., Schreck, P.: Formalizing desargues\u2019 theorem in coq using ranks. In: Shin, S.Y., Ossowski, S. (eds.) SAC, pp. 1110\u20131115. ACM (2009)","DOI":"10.1145\/1529282.1529527"},{"issue":"0","key":"302_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/0952813X.2015.1132271","volume":"0","author":"V Marinkovi\u0107","year":"2016","unstructured":"Marinkovi\u0107, V.: Argotrics\u2014automated triangle construction solver. J. Exp. Theor. Artif. Intell. 0(0), 1\u201325 (2016). doi: 10.1080\/0952813X.2015.1132271","journal-title":"J. Exp. Theor. Artif. Intell."},{"key":"302_CR43","doi-asserted-by":"publisher","unstructured":"Marinkovi\u0107, V., Jani\u010di\u0107, P., Schreck, P.: Computer theorem proving for verifiable solving of geometric construction problems, pp. 72\u201393. Springer International Publishing (2015). doi: 10.1007\/978-3-319-21362-0_5","DOI":"10.1007\/978-3-319-21362-0_5"},{"key":"302_CR44","doi-asserted-by":"publisher","unstructured":"Martins, C., Couto, P., Fernandes, M., Bastos, C., Lobo, C., Faria, L., Carrapatoso, E.: PCMAT\u2014Mathematics Collaborative Learning Platform, pp. 93\u2013100. Springer, Berlin (2011). doi: 10.1007\/978-3-642-19917-2_12","DOI":"10.1007\/978-3-642-19917-2_12"},{"key":"302_CR45","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/B:JARS.0000021960.39761.b7","volume":"32","author":"N Matsuda","year":"2004","unstructured":"Matsuda, N., Vanlehn, K.: Gramy: a geometry theorem prover capable of construction. J. Autom. Reason. 32, 3\u201333 (2004)","journal-title":"J. Autom. Reason."},{"key":"302_CR46","unstructured":"Matsuda, N., Van Lehn, K.: Advanced geometry tutor: an intelligent tutor that teaches proof-writing with construction. In: Artificial Intelligence in Education\u2014Supporting Learning through Intelligent and Socially Informed Technology, Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED 2005, pp. 443\u2013450, Amsterdam (18\u201322 July 2005)"},{"issue":"3","key":"302_CR47","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1080\/15391523.2009.10782534","volume":"41","author":"M Mendicino","year":"2009","unstructured":"Mendicino, M., Razzaq, L., Heffernan, N.T.: A comparison of traditional homework to computer-supported homework. J. Res. Technol. Educ. 41(3), 331\u2013359 (2009)","journal-title":"J. Res. Technol. Educ."},{"key":"302_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-02396-0","volume-title":"Tools and Mathematics","author":"J Monaghan","year":"2016","unstructured":"Monaghan, J., Trouche, L., Borwein, J.: Tools and Mathematics. Springer International Publishing, Berlin (2016)"},{"key":"302_CR49","doi-asserted-by":"crossref","unstructured":"Moraes, T.G., Santoro, F.M., Borges, M.R.: Tabul\u00e6: educational groupware for learning geometry. In: 5th IEEE International Conference on Advanced Learning Technologies, 2005. ICALT 2005, pp. 750\u2013754 (July 2005)","DOI":"10.1109\/ICALT.2005.251"},{"key":"302_CR50","unstructured":"Moriy\u00f3n, R., Saiz, F., Mora, M.: GeoThink: An Environment for Guided Collaborative Learning of Geometry, Nuevas Ideas en Inform\u00e1tica Educativa, vol.\u00a04, pp. 200\u20132008. J. S\u00e1nchez (ed), Santiago de Chile (2008)"},{"key":"302_CR51","doi-asserted-by":"crossref","unstructured":"Narboux, J.: A decision procedure for geometry in coq. In: Slind\u00a0Konrad, Bunker\u00a0Annette, G.G.C. (ed.) Theorem Proving in Higher Order Logics 2004. vol. 3223, pp. 225\u2013240. Springer, Park City (Jul 2004). https:\/\/hal.inria.fr\/inria-00001035","DOI":"10.1007\/978-3-540-30142-4_17"},{"key":"302_CR52","doi-asserted-by":"crossref","unstructured":"Narboux, J.: Mechanical theorem proving in Tarski\u2019s geometry. In: Eugenio Roanes\u00a0Lozano, F.B. (ed.) Automated Deduction in Geometry 2006. vol. 4869, pp. 139\u2013156. Francisco Botana, Springer, Pontevedra (Aug 2006). https:\/\/hal.inria.fr\/inria-00118812","DOI":"10.1007\/978-3-540-77356-6_9"},{"key":"302_CR53","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10817-007-9071-4","volume":"39","author":"J Narboux","year":"2007","unstructured":"Narboux, J.: A graphical user interface for formal proofs in geometry. J. Autom. Reason. 39, 161\u2013180 (2007)","journal-title":"J. Autom. Reason."},{"key":"302_CR54","doi-asserted-by":"crossref","unstructured":"Narboux, J.: Mechanical theorem proving in Tarski\u2019s geometry. In: Proceedings of Automatic Deduction in Geometry 06. Lecture Notes in Artificial Intelligence, vol. 4869, pp. 139\u2013156. Springer (2007)","DOI":"10.1007\/978-3-540-77356-6_9"},{"key":"302_CR55","doi-asserted-by":"crossref","unstructured":"Quaresma, P., Jani\u010di\u0107, P., Toma\u0161evi\u0107, J., Vujo\u0161evi\u0107-Jani\u010di\u0107, M., To\u0161i\u0107, D.: Communicating Mathematics in The Digital Era, chap. XML-Bases Format for Descriptions of Geometric Constructions and Proofs, pp. 183\u2013197. A. K. Peters, Ltd. (2008)","DOI":"10.1201\/b10587-16"},{"key":"302_CR56","doi-asserted-by":"crossref","unstructured":"Quaresma, P.: Thousands of geometric problems for geometric theorem provers (TGTP). In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) Automated Deduction in Geometry, Lecture Notes in Computer Science, vol. 6877, pp. 169\u2013181. Springer (2011)","DOI":"10.1007\/978-3-642-25070-5_10"},{"key":"302_CR57","doi-asserted-by":"crossref","unstructured":"Quaresma, P., Baeta, N.: Current status of the I2GATP common format. In: Botana, F., Quaresma, P. (eds.) Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, July 9\u201311, 2014, Revised Selected Papers. Lecture Notes in Computer Science, vol. 9201, pp. 119\u2013128. Springer, Cham (2015)","DOI":"10.1007\/978-3-319-21362-0_8"},{"key":"302_CR58","doi-asserted-by":"crossref","unstructured":"Quaresma, P., Santos, V., Bouallegue, S.: The Web Geometry Laboratory project. In: CICM 2013. LNAI, vol. 7961, pp. 364\u2013368. Springer (2013)","DOI":"10.1007\/978-3-642-39320-4_30"},{"key":"302_CR59","first-page":"83","volume":"12","author":"P Richard","year":"2007","unstructured":"Richard, P., Fortuny, J.: Am\u00e9lioration des comp\u00e9tences argumentatives \u00e0 l\u2019aide d\u2019un syst\u00e9me tutoriel en classe de math\u00e9matique au secondaire. Ann. didact. Sci. Cognit. 12, 83\u2013116 (2007)","journal-title":"Ann. didact. Sci. Cognit."},{"key":"302_CR60","unstructured":"Richard, P., Fortuny, J., Hohenwarter, M., Gagnon, M.: GeogebraTUTOR: une nouvelle approche pour la recherche sur l\u2019apprentissage comp\u00e9tentiel et instrument\u00e9 de la g\u00e9om\u00e9trie \u00e0 l\u2019\u00e9cole secondaire. In: Bastiaens, T., Carliner, S. (eds.) Proceedings of E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2007. No. 428\u2013435, Association for the Advancement of Computing in Education (AACE), Chesapeake (2007)"},{"key":"302_CR61","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":"302_CR62","unstructured":"Santiago, E., Hendriks, M., Kreis, Y., Kortenkamp, U., Marqu\u00e8s, D.: i2g Common file format final version. Tech. Rep. D3.10, The Intergeo Consortium (2010). http:\/\/i2geo.net\/xwiki\/bin\/view\/I2GFormat\/"},{"key":"302_CR63","doi-asserted-by":"publisher","unstructured":"Santos, V., Quaresma, P., Campos, H., Mari\u0107, M.: Web Geometry Laboratory: case studies in Portugal and Serbia. In: Interactive Learning Environments, pp. 1\u201319 (Dec 2016) (online). doi: 10.1080\/10494820.2016.1258715","DOI":"10.1080\/10494820.2016.1258715"},{"key":"302_CR64","unstructured":"Shute, V., Psotka, J.: The handbook of research for educational communications and technology, chap. In: Intelligent Tutoring Systems: Past, Present, and Future, 1st edn, pp. 570\u2013600. The Association for Educational Communications and Technology (2001)"},{"issue":"5","key":"302_CR65","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1007\/s11858-016-0796-6","volume":"48","author":"N Sinclair","year":"2016","unstructured":"Sinclair, N., Bartolini Bussi, M.G., de Villiers, M., Jones, K., Kortenkamp, U., Leung, A., Owens, K.: Recent research on geometry education: an ICME-13 survey team report. ZDM Math. Educ. 48(5), 691\u2013719 (2016). doi: 10.1007\/s11858-016-0796-6","journal-title":"ZDM Math. Educ."},{"key":"302_CR66","doi-asserted-by":"publisher","unstructured":"Stojanovi\u0107, S., Narboux, J., Bezem, M., Jani\u010di\u0107, P.: A vernacular for coherent logic. In: Watt, S., Davenport, J., Sexton, A., Sojka, P., Urban, J. (eds.) Intelligent Computer Mathematics, Lecture Notes in Computer Science, vol. 8543, pp. 388\u2013403. Springer International Publishing (2014). doi: 10.1007\/978-3-319-08434-3_28","DOI":"10.1007\/978-3-319-08434-3_28"},{"key":"302_CR67","doi-asserted-by":"crossref","unstructured":"Stojanovic, S., Pavlovic, V., Janicic, P.: A coherent logic based geometry theorem prover capable of producing formal and readable proofs. In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) Automated Deduction in Geometry, pp. 201\u2013220. Springer, Berlin, Heidelberg (2010)","DOI":"10.1007\/978-3-642-25070-5_12"},{"key":"302_CR68","doi-asserted-by":"crossref","first-page":"165","DOI":"10.3200\/JEXE.73.3.165-188","volume":"73","author":"J Summers","year":"2005","unstructured":"Summers, J., Beretvas, S., Svinicki, M., Gorin, J.: Evaluating collaborative learning and community. J. Exp. Educ. 73, 165\u2013188 (2005)","journal-title":"J. Exp. Educ."},{"key":"302_CR69","doi-asserted-by":"crossref","unstructured":"Triantafillou, E., Pomportsis, A., Demetriadis, S.: The design and the formative evaluation of an adaptive educational system based on cognitive styles. Comput. Educ. 41(1), 87\u2013103 (2003). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0360131503000319","DOI":"10.1016\/S0360-1315(03)00031-9"},{"key":"302_CR70","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-7091-6604-8_8","volume-title":"Automated Pratical Reasoning","author":"D Wang","year":"1995","unstructured":"Wang, D.: Reasoning about geometric problems using an elimination method. In: Pfalzgraf, J., Wang, D. (eds.) Automated Pratical Reasoning, pp. 147\u2013185. Springer, New York (1995)"},{"key":"302_CR71","doi-asserted-by":"publisher","unstructured":"Wang, D., Chen, X., An, W., Jiang, L., Song, D.: Opengeo: an open geometric knowledge base. In: Hong, H., Yap, C. (eds.) Mathematical Software\u2014ICMS 2014, Lecture Notes in Computer Science, vol. 8592, pp. 240\u2013245. Springer, Berlin (2014). doi: 10.1007\/978-3-662-44199-2_38","DOI":"10.1007\/978-3-662-44199-2_38"},{"key":"302_CR72","unstructured":"Wang, K., Su, Z.: Automated geometry theorem proving for human-readable proofs. In: Proceedings of the 24th International Conference on Artificial Intelligence, pp. 1193\u20131199. IJCAI\u201915, AAAI Press (2015). http:\/\/dl.acm.org\/citation.cfm?id=2832249.2832414"},{"key":"302_CR73","doi-asserted-by":"crossref","unstructured":"Wu, W.: Automated Theorem Proving: After 25 Years, vol.\u00a029, chap. On the Decision Problem and the Mechanization of Theorem Proving in Elementary Geometry, pp. 213\u2013234. American Mathematical Society (1984)","DOI":"10.1090\/conm\/029\/12"},{"key":"302_CR74","doi-asserted-by":"publisher","unstructured":"Ye, Z., Chou, S.C., Gao, X.S.: An introduction to java geometry expert. In: Sturm, T., Zengler, C. (eds.) Automated Deduction in Geometry, Lecture Notes in Computer Science, vol. 6301, pp. 189\u2013195. Springer, Berlin (2011). doi: 10.1007\/978-3-642-21046-4_10 , jGEX","DOI":"10.1007\/978-3-642-21046-4_10"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-017-0302-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-017-0302-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-017-0302-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T16:27:48Z","timestamp":1569083268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-017-0302-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,25]]},"references-count":74,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["302"],"URL":"https:\/\/doi.org\/10.1007\/s11786-017-0302-8","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"type":"print","value":"1661-8270"},{"type":"electronic","value":"1661-8289"}],"subject":[],"published":{"date-parts":[[2017,4,25]]}}}