Formalization of Mathematical Proof Practice Through an Argumentation-Based Model
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource, 1 online resource.
- Sprache
-
Englisch
- Erschienen in
-
Formalization of Mathematical Proof Practice Through an Argumentation-Based Model ; volume:33 ; number:3 ; day:8 ; month:6 ; year:2023 ; pages:1-28 ; date:6.2023
Axiomathes ; 33, Heft 3 (8.6.2023), 1-28, 6.2023
- Urheber
-
Almpani, Sofia
Stefaneas, Petros
Vandoulakis, Ioannis
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10516-023-09685-z
- URN
-
urn:nbn:de:101:1-2023092910193736861585
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Almpani, Sofia
- Stefaneas, Petros
- Vandoulakis, Ioannis
- SpringerLink (Online service)
Ähnliche Objekte (12)
Mathematical argumentation and proof supporting a complex cognitive skill
A Formalization and Proof Checker for Isabelle’s Metalogic
Mathematical Proof Between Generations
Argumentation Theory for Mathematical Argument
The individual cognitive resources underlying students' mathematical argumentation and proof skills : from theory to intervention
Formalization of logic
IMathAS & automated Assessment of mathematical Proof
Formalization of natural languages
Automation of proof by mathematical induction : 24.07. - 28.07.95
Proof-checking mathematical texts in controlled natural language
Proof-checking mathematical texts in controlled natural language
Different collaborative learning settings to foster mathematical argumentation skills
Mathematical argumentation and proof supporting a complex cognitive skill
A Formalization and Proof Checker for Isabelle’s Metalogic
Mathematical Proof Between Generations
Argumentation Theory for Mathematical Argument
The individual cognitive resources underlying students' mathematical argumentation and proof skills : from theory to intervention
Formalization of logic
IMathAS & automated Assessment of mathematical Proof
Formalization of natural languages
Automation of proof by mathematical induction : 24.07. - 28.07.95
Proof-checking mathematical texts in controlled natural language
Proof-checking mathematical texts in controlled natural language
Different collaborative learning settings to foster mathematical argumentation skills
Mathematical argumentation and proof supporting a complex cognitive skill
A Formalization and Proof Checker for Isabelle’s Metalogic
Mathematical Proof Between Generations
Argumentation Theory for Mathematical Argument
The individual cognitive resources underlying students' mathematical argumentation and proof skills : from theory to intervention
Formalization of logic
IMathAS & automated Assessment of mathematical Proof
Formalization of natural languages
Automation of proof by mathematical induction : 24.07. - 28.07.95
Proof-checking mathematical texts in controlled natural language
Proof-checking mathematical texts in controlled natural language