{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T22:29:28Z","timestamp":1770071368212,"version":"3.49.0"},"reference-count":50,"publisher":"Informa UK Limited","issue":"2","funder":[{"DOI":"10.13039\/501100001871","name":"FCT \u2013 Foundation for Science and Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"FCT \u2013 Foundation for Science and Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007474","name":"Centre for Mathematics of the University of Coimbra","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007474","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Portuguese Government"}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Mathematical Education in Science and Technology"],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1080\/0020739x.2024.2377724","type":"journal-article","created":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T10:43:31Z","timestamp":1721817811000},"page":"317-341","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":3,"title":["Proof exploration using dynamic geometry systems with integrated automated deduction capabilities"],"prefix":"10.1080","volume":"57","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7728-4935","authenticated-orcid":false,"given":"Pedro","family":"Quaresma","sequence":"first","affiliation":[{"name":"University of Coimbra","place":["Coimbra, Portugal"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3953-6123","authenticated-orcid":false,"given":"Vanda","family":"Santos","sequence":"additional","affiliation":[{"name":"University of Aveiro","place":["Aveiro, Portugal"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1602-984X","authenticated-orcid":false,"given":"Joana","family":"Teles","sequence":"additional","affiliation":[{"name":"University of Coimbra","place":["Coimbra, Portugal"]}]}],"member":"301","published-online":{"date-parts":[[2024,7,24]]},"reference":[{"key":"e_1_3_4_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10758-010-9169-3"},{"key":"e_1_3_4_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-023-09839-0"},{"key":"e_1_3_4_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28483-1_17"},{"issue":"176","key":"e_1_3_4_5_1","first-page":"395","article-title":"Boletin oficial comunidad de madrid","volume":"2011","author":"BOCM","year":"2022","unstructured":"BOCM. (2022). Boletin oficial comunidad de madrid. GESTI\u00d3N, 2011(176), 395\u2013716. https:\/\/www.bocm.es\/boletin\/CM_Orden_BOCM\/2022\/07\/26\/BOCM-20220726-2.PDF.","journal-title":"GESTI\u00d3N"},{"key":"e_1_3_4_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50013-8"},{"key":"e_1_3_4_7_1","doi-asserted-by":"publisher","DOI":"10.1142\/2196"},{"key":"e_1_3_4_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00283134"},{"key":"e_1_3_4_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00283133"},{"key":"e_1_3_4_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006171315513"},{"key":"e_1_3_4_11_1","unstructured":"Common Core State Standards Initiative. (2010). Common core state standards for mathematics. http:\/\/www.corestandards.org\/assets\/CCSSI_Math%20Standards.pdf"},{"key":"e_1_3_4_12_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.375.2"},{"key":"e_1_3_4_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0576-5_14"},{"key":"e_1_3_4_14_1","volume-title":"Aprendizagens essenciais: Articula\u00e7\u00e3o com o perfil dos alunos \u2013 7.\no_ ano \u2013 3.\no_ ciclo do ensino b\u00e1sico \u2013 Matem\u00e1tica","author":"Dire\u00e7\u00e3o-Geral da Educa\u00e7\u00e3o (DGE)","year":"2021","unstructured":"Dire\u00e7\u00e3o-Geral da Educa\u00e7\u00e3o (DGE). (2021). Aprendizagens essenciais: Articula\u00e7\u00e3o com o perfil dos alunos \u2013 7. o_ ano \u2013 3. o_ ciclo do ensino b\u00e1sico \u2013 Matem\u00e1tica. Dire\u00e7\u00e3o-Geral da Educa\u00e7\u00e3o. http:\/\/www.dge.mec.pt\/sites\/default\/files\/Curriculo\/Aprendizagens_Essenciais\/3_ciclo\/ae_mat_7.o_ano.pdf"},{"key":"e_1_3_4_15_1","volume-title":"Novas aprendizagens essenciais de matem\u00e1tica","author":"Dire\u00e7\u00e3o-Geral da Educa\u00e7\u00e3o (DGE)","year":"2023","unstructured":"Dire\u00e7\u00e3o-Geral da Educa\u00e7\u00e3o (DGE). (2023). Novas aprendizagens essenciais de matem\u00e1tica [New essential learning of mathematic]. Dire\u00e7\u00e3o-Geral da Educa\u00e7\u00e3o. https:\/\/www.dge.mec.pt\/sites\/default\/files\/Curriculo\/Aprendizagens_Essenciais\/mat_a_10_-_vf.pdf"},{"key":"e_1_3_4_16_1","unstructured":"Donaire J. Garcia J. Gaspar M. Hern\u00e1ndez J. Mart\u00ednez J. Moreno M. S\u00e1nchez M. & Serrano E. (2010). Ampliaci\u00f3n de matem\u00e1ticas de 3 o_ de ESO: resoluci\u00f3n de problemas (Tech. Rep.). http:\/\/www.madrid.org\/bvirtual\/BVCM001980.pdf"},{"key":"e_1_3_4_17_1","unstructured":"Gelernter H. (1995). Computers & thought. In E. Feighenbaum & J. Feldman (Eds.) Computers & thought (2nd ed. pp. 134\u2013152). MIT Press."},{"key":"e_1_3_4_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460361.1460381"},{"key":"e_1_3_4_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012737223465"},{"key":"e_1_3_4_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-2129-6"},{"key":"e_1_3_4_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28483-1"},{"key":"e_1_3_4_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9135-8"},{"key":"e_1_3_4_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11832225_6"},{"key":"e_1_3_4_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9209-7"},{"key":"e_1_3_4_25_1","unstructured":"Kortenkamp U. (1999). Foundations of dynamic geometry [PhD thesis]. Swiss Federal Institute of Technology."},{"key":"e_1_3_4_26_1","unstructured":"Kortenkamp U. & Richter-Gebert J. (2004). Using automatic theorem proving to improve the usability of geometry software. In P. Libbrecht (Ed.) Proceedings of Mathui 2004. http:\/\/kortenkamps.net\/papers\/2004\/ATP-UI-article.pdf"},{"key":"e_1_3_4_27_1","unstructured":"Kov\u00e1cs Z. (2014). The portfolio prover in GeoGebra 5. In Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014)."},{"key":"e_1_3_4_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21362-0_4"},{"key":"e_1_3_4_29_1","doi-asserted-by":"publisher","DOI":"10.1564\/tme_v25.2.03"},{"key":"e_1_3_4_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86909-0_2"},{"issue":"5","key":"e_1_3_4_31_1","first-page":"171","article-title":"Cabri\u2013G\u00e9om\u00e8tre: A microworld of geometry guided discovery learning","volume":"90","author":"Laborde J. M.","year":"1990","unstructured":"Laborde, J. M., & Str\u00e4sser, R. (1990). Cabri\u2013G\u00e9om\u00e8tre: A microworld of geometry guided discovery learning. International Reviews on Mathematical Education- Zentralblatt fuer didaktik der mathematik, 90(5), 171\u2013177.","journal-title":"International Reviews on Mathematical Education- Zentralblatt fuer didaktik der mathematik"},{"key":"e_1_3_4_32_1","unstructured":"Lin F. L. Hsieh F. J. Hanna G. & de Villiers M. (Eds.). (2009a). Proceedings of the ICMI study 19 conference: Proof and proving in mathematics education (Vol. 1)."},{"key":"e_1_3_4_33_1","unstructured":"Lin F. L. Hsieh F. J. Hanna G. & de Villiers M. (Eds.). (2009b). Proceedings of the ICMI study 19 conference: Proof and proving in mathematics education (Vol. 2)."},{"key":"e_1_3_4_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s42330-020-00103-9"},{"key":"e_1_3_4_35_1","volume-title":"Programa e Metas Curriculares Matem\u00e1tica Ensino B\u00e1sico","author":"Minist\u00e9rio da Educa\u00e7\u00e3o e Ci\u00eancia (MEC)","year":"2013","unstructured":"Minist\u00e9rio da Educa\u00e7\u00e3o e Ci\u00eancia (MEC). (2013). Programa e Metas Curriculares Matem\u00e1tica Ensino B\u00e1sico. Minist\u00e9rio da Educa\u00e7\u00e3o e Ci\u00eancia. https:\/\/www.dge.mec.pt\/sites\/default\/files\/Basico\/Metas\/Matematica\/programa_matematica_basico.pdf"},{"key":"e_1_3_4_36_1","unstructured":"NCTM. (2000). Standards for school mathematics."},{"key":"e_1_3_4_37_1","doi-asserted-by":"publisher","DOI":"10.1111\/ssm.12487"},{"key":"e_1_3_4_38_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.352"},{"key":"e_1_3_4_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86909-0"},{"key":"e_1_3_4_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28483-1_11"},{"key":"e_1_3_4_41_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.354.3"},{"key":"e_1_3_4_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2018.12.004"},{"key":"e_1_3_4_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86909-0"},{"key":"e_1_3_4_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-34926-6"},{"key":"e_1_3_4_45_1","volume-title":"Handbook of automated reasoning","author":"Robinson J. A.","year":"2001","unstructured":"Robinson, J. A., & Voronkov, A. (Eds.). (2001a). Handbook of automated reasoning (Vol. 1). Elsevier and MIT Press."},{"key":"e_1_3_4_46_1","volume-title":"Handbook of automated reasoning","author":"Robinson J. A.","year":"2001","unstructured":"Robinson, J. A., & Voronkov, A. (Eds.). (2001b). Handbook of automated reasoning (Vol. 2). Elsevier and MIT Press."},{"issue":"1","key":"e_1_3_4_47_1","first-page":"60","article-title":"Exploring geometric conjectures with the help of a learning environment \u2013 A case study with pre-service teachers","volume":"2","author":"Santos V.","year":"2021","unstructured":"Santos, V., & Quaresma, P. (2021). Exploring geometric conjectures with the help of a learning environment \u2013 A case study with pre-service teachers. The Electronic Journal of Mathematics and Technology, 2(1), 60\u201372.","journal-title":"The Electronic Journal of Mathematics and Technology"},{"key":"e_1_3_4_48_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.375.3"},{"key":"e_1_3_4_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0732-3123(96)90002-4"},{"key":"e_1_3_4_50_1","doi-asserted-by":"crossref","unstructured":"Wu W. T. (1984). Automated theorem proving: After 25 years (Vol. 29 pp. 213\u2013234). American Mathematical Society.","DOI":"10.1090\/conm\/029\/12"},{"key":"e_1_3_4_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21046-4_10"}],"container-title":["International Journal of Mathematical Education in Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0020739X.2024.2377724","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T10:42:38Z","timestamp":1770028958000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/0020739X.2024.2377724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,24]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["10.1080\/0020739X.2024.2377724"],"URL":"https:\/\/doi.org\/10.1080\/0020739x.2024.2377724","relation":{},"ISSN":["0020-739X","1464-5211"],"issn-type":[{"value":"0020-739X","type":"print"},{"value":"1464-5211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,24]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tmes20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tmes20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-07-15","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-07-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}