{"id":"https://openalex.org/W7225198355","doi":"https://doi.org/10.1007/s13138-026-00277-z","title":"Research on Understanding of Proof in Mathematics Education: Linking Key Distinctions in a Common Framework","display_name":"Research on Understanding of Proof in Mathematics Education: Linking Key Distinctions in a Common Framework","publication_year":2026,"publication_date":"2026-11-03","ids":{"openalex":"https://openalex.org/W7225198355","doi":"https://doi.org/10.1007/s13138-026-00277-z"},"language":"en","primary_location":{"id":"doi:10.1007/s13138-026-00277-z","doi":"https://doi.org/10.1007/s13138-026-00277-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s13138-026-00277-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s13138-026-00277-z.pdf","source":{"id":"https://openalex.org/S4210174737","display_name":"Journal f\u00fcr Mathematik-Didaktik","issn_l":"0173-5322","issn":["0173-5322","1869-2699"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1","poland-40","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal f\u00fcr Mathematik-Didaktik","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s13138-026-00277-z.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082421231","display_name":"Femke Sporn","orcid":"https://orcid.org/0000-0002-1815-1291","observed_orcids":["https://orcid.org/0000-0002-1815-1291"]},"institutions":[{"id":"https://openalex.org/I4210085968","display_name":"Leibniz Institute for Science and Mathematics Education","ror":"https://ror.org/008n8dd57","country_code":"DE","type":"facility","lineage":["https://openalex.org/I315704651","https://openalex.org/I4210085968"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Femke Sporn","raw_affiliation_strings":["IPN\u2014Leibniz Institute for Science and Mathematics Education, Olshausenstr. 62, 24118, Kiel, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1815-1291","affiliations":[{"raw_affiliation_string":"IPN\u2014Leibniz Institute for Science and Mathematics Education, Olshausenstr. 62, 24118, Kiel, Germany","institution_ids":["https://openalex.org/I4210085968"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024507970","display_name":"Daniel Sommerhoff","orcid":"https://orcid.org/0000-0002-0559-7120","observed_orcids":["https://orcid.org/0000-0002-0559-7120"]},"institutions":[{"id":"https://openalex.org/I4210085968","display_name":"Leibniz Institute for Science and Mathematics Education","ror":"https://ror.org/008n8dd57","country_code":"DE","type":"facility","lineage":["https://openalex.org/I315704651","https://openalex.org/I4210085968"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Sommerhoff","raw_affiliation_strings":["IPN\u2014Leibniz Institute for Science and Mathematics Education, Olshausenstr. 62, 24118, Kiel, Germany"],"raw_orcid":"https://orcid.org/0000-0002-0559-7120","affiliations":[{"raw_affiliation_string":"IPN\u2014Leibniz Institute for Science and Mathematics Education, Olshausenstr. 62, 24118, Kiel, Germany","institution_ids":["https://openalex.org/I4210085968"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032194884","display_name":"Aiso Heinze","orcid":"https://orcid.org/0000-0002-7408-0395","observed_orcids":["https://orcid.org/0000-0002-7408-0395"]},"institutions":[{"id":"https://openalex.org/I4210085968","display_name":"Leibniz Institute for Science and Mathematics Education","ror":"https://ror.org/008n8dd57","country_code":"DE","type":"facility","lineage":["https://openalex.org/I315704651","https://openalex.org/I4210085968"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Aiso Heinze","raw_affiliation_strings":["IPN\u2014Leibniz Institute for Science and Mathematics Education, Olshausenstr. 62, 24118, Kiel, Germany"],"raw_orcid":"https://orcid.org/0000-0002-7408-0395","affiliations":[{"raw_affiliation_string":"IPN\u2014Leibniz Institute for Science and Mathematics Education, Olshausenstr. 62, 24118, Kiel, Germany","institution_ids":["https://openalex.org/I4210085968"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082421231"],"corresponding_institution_ids":["https://openalex.org/I4210085968"],"apc_list":{"value":3590,"currency":"USD","value_usd":3590},"apc_paid":{"value":3590,"currency":"USD","value_usd":3590},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.91797975,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"47","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.8682000041007996,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.8682000041007996,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.07900000363588333,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12522","display_name":"Mathematics Education and Pedagogy","score":0.03310000151395798,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"mathematical proof","score":0.7799999713897705},{"id":"https://openalex.org/keywords/conceptual-framework","display_name":"conceptual framework","score":0.9269999861717224},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"mathematics education","score":0.4970000088214874},{"id":"https://openalex.org/keywords/proof-comprehension","display_name":"proof understanding","score":0.5989999771118164}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.9223999977111816},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5407000184059143},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5331000089645386},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4724000096321106},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.4230000078678131},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.4120999872684479},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.40389999747276306},{"id":"https://openalex.org/C14224292","wikidata":"https://www.wikidata.org/wiki/Q13600188","display_name":"Conceptual framework","level":2,"score":0.3813999891281128},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.37299999594688416},{"id":"https://openalex.org/C173613240","wikidata":"https://www.wikidata.org/wiki/Q1150675","display_name":"Computer-assisted proof","level":3,"score":0.3635999858379364},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3562999963760376},{"id":"https://openalex.org/C48164120","wikidata":"https://www.wikidata.org/wiki/Q4491893","display_name":"Concept learning","level":2,"score":0.35269999504089355},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3165999948978424},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.31290000677108765},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.3010999858379364},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.2809000015258789},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.2587999999523163},{"id":"https://openalex.org/C2780506305","wikidata":"https://www.wikidata.org/wiki/Q3909934","display_name":"Mathematical practice","level":2,"score":0.2535000145435333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s13138-026-00277-z","doi":"https://doi.org/10.1007/s13138-026-00277-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s13138-026-00277-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s13138-026-00277-z.pdf","source":{"id":"https://openalex.org/S4210174737","display_name":"Journal f\u00fcr Mathematik-Didaktik","issn_l":"0173-5322","issn":["0173-5322","1869-2699"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1","poland-40","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal f\u00fcr Mathematik-Didaktik","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s13138-026-00277-z","doi":"https://doi.org/10.1007/s13138-026-00277-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s13138-026-00277-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s13138-026-00277-z.pdf","source":{"id":"https://openalex.org/S4210174737","display_name":"Journal f\u00fcr Mathematik-Didaktik","issn_l":"0173-5322","issn":["0173-5322","1869-2699"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1","poland-40","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal f\u00fcr Mathematik-Didaktik","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.9235000014305115,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7225198355.pdf","grobid_xml":"https://content.openalex.org/works/W7225198355.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W25015530","https://openalex.org/W578273211","https://openalex.org/W649400686","https://openalex.org/W788974556","https://openalex.org/W1561327136","https://openalex.org/W1568502655","https://openalex.org/W1970723895","https://openalex.org/W1971092056","https://openalex.org/W1981451605","https://openalex.org/W1994764647","https://openalex.org/W2006677428","https://openalex.org/W2019390355","https://openalex.org/W2031508421","https://openalex.org/W2033636933","https://openalex.org/W2046790558","https://openalex.org/W2050260130","https://openalex.org/W2054969500","https://openalex.org/W2060397636","https://openalex.org/W2064941053","https://openalex.org/W2065430068","https://openalex.org/W2078249616","https://openalex.org/W2086440330","https://openalex.org/W2099962465","https://openalex.org/W2107435525","https://openalex.org/W2110198068","https://openalex.org/W2143408475","https://openalex.org/W2146007070","https://openalex.org/W2254450141","https://openalex.org/W2486658170","https://openalex.org/W2503650848","https://openalex.org/W2567430640","https://openalex.org/W2593936865","https://openalex.org/W2612236965","https://openalex.org/W2756283240","https://openalex.org/W2791083810","https://openalex.org/W2801998410","https://openalex.org/W2900302967","https://openalex.org/W2911106038","https://openalex.org/W2914135572","https://openalex.org/W2921338516","https://openalex.org/W3093838511","https://openalex.org/W3109266471","https://openalex.org/W3145230782","https://openalex.org/W4241951912","https://openalex.org/W4242749185","https://openalex.org/W4386289365","https://openalex.org/W4399899059"],"related_works":["https://openalex.org/W387595247","https://openalex.org/W4386289365","https://openalex.org/W4401969779","https://openalex.org/W7100529318","https://openalex.org/W3149713383","https://openalex.org/W4390813229","https://openalex.org/W1994764647","https://openalex.org/W2332726743","https://openalex.org/W2043670316","https://openalex.org/W1602028130"],"abstract_inverted_index":{"Abstract":[0],"Proofs":[1],"are":[2,11,18,32],"of":[3,13,25,38,43,57,76,96,101,111,118,136,141,149,152,177,180],"central":[4],"importance":[5],"in":[6,66,98,116],"mathematics,":[7],"and":[8,69,89,92],"therefore":[9],"proofs":[10,22],"part":[12,24],"mathematics":[14,45,102],"instruction.":[15,46,103],"Thus,":[16],"learners":[17,31],"confronted":[19],"with":[20],"mathematical":[21,27],"as":[23],"their":[26,44,119],"education.":[28],"In":[29],"particular,":[30],"expected":[33],"to":[34,85,90,169],"develop":[35],"an":[36,54,94],"understanding":[37,56,95,135,151,179],"proof":[39,97,153],"over":[40],"the":[41,74,99,109,158,164,175],"course":[42,100],"However,":[47],"it":[48,65,82],"remains":[49],"unclear":[50],"what":[51],"exactly":[52],"constitutes":[53],"individual\u2019s":[55,150],"proof,":[58,112,137],"given":[59],"that":[60],"prior":[61],"studies":[62],"have":[63],"conceptualised":[64],"diverse":[67],"ways":[68],"adopted":[70],"different":[71],"approaches.":[72],"Moreover,":[73,144],"lack":[75],"a":[77,131],"common":[78],"theoretical":[79],"framework":[80,133,165],"makes":[81],"difficult":[83],"both":[84],"compare":[86],"existing":[87],"findings":[88],"investigate":[91],"describe":[93],"Although":[104],"several":[105],"frameworks":[106],"exist":[107],"within":[108],"field":[110],"they":[113],"differ":[114],"substantially":[115],"terms":[117],"objectives,":[120],"approaches,":[121],"and,":[122],"if":[123],"applicable,":[124],"operationalisations.":[125],"To":[126],"address":[127],"this,":[128],"we":[129,145,161],"propose":[130],"conceptual":[132],"for":[134],"bringing":[138],"together":[139],"approaches":[140],"previous":[142],"research.":[143],"illustrate":[146],"how":[147,163],"investigations":[148],"can":[154,166],"be":[155,167],"designed":[156],"using":[157],"framework.":[159],"Finally,":[160],"discuss":[162],"used":[168],"support":[170],"systematic":[171],"future":[172],"research":[173],"on":[174],"development":[176],"learners\u2019":[178],"proof.":[181]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-11-04T00:00:00"}