Formalization of Mathematical Proof Practice Through an Argumentation-Based Model
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource, 1 online resource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
-
Almpani, Sofia
Stefaneas, Petros
Vandoulakis, Ioannis
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10516-023-09685-z
- URN
-
urn:nbn:de:101:1-2023092910193736861585
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Almpani, Sofia
- Stefaneas, Petros
- Vandoulakis, Ioannis
- SpringerLink (Online service)
Other Objects (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