- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
On the difficulty of discovering mathematical proofs ; volume:202 ; number:2 ; day:20 ; month:7 ; year:2023 ; pages:1-29 ; date:8.2023
Synthese; 202, Heft 2 (20.7.2023), 1-29, 8.2023
- Urheber
-
Arana, Andrew
Stafford, Will
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11229-023-04184-5
- URN
-
urn:nbn:de:101:1-2023121312002595027422
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 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
- Arana, Andrew
- Stafford, Will
- SpringerLink (Online service)
Ähnliche Objekte (12)
Mathematical significance of consistency proofs
Planning Mathematical Proofs with Methods
Introduction to mathematical structures and proofs
Granularity analysis for tutoring mathematical proofs
Proofs of the Cantor-Bernstein Theorem : a mathematical excursion
Students' language in computer-assisted tutoring of mathematical proofs
Students´ language in computer-assisted tutoring of mathematical proofs
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
MENON : automating a Socratic teaching model for mathematical proofs
Elementary theory of metric spaces : a course in constructing mathematical proofs
Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
Synthetic proofs
Mathematical significance of consistency proofs
Planning Mathematical Proofs with Methods
Introduction to mathematical structures and proofs
Granularity analysis for tutoring mathematical proofs
Proofs of the Cantor-Bernstein Theorem : a mathematical excursion
Students' language in computer-assisted tutoring of mathematical proofs
Students´ language in computer-assisted tutoring of mathematical proofs
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
MENON : automating a Socratic teaching model for mathematical proofs
Elementary theory of metric spaces : a course in constructing mathematical proofs
Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
Synthetic proofs
Mathematical significance of consistency proofs
Planning Mathematical Proofs with Methods
Introduction to mathematical structures and proofs
Granularity analysis for tutoring mathematical proofs
Proofs of the Cantor-Bernstein Theorem : a mathematical excursion
Students' language in computer-assisted tutoring of mathematical proofs
Students´ language in computer-assisted tutoring of mathematical proofs
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
MENON : automating a Socratic teaching model for mathematical proofs
Elementary theory of metric spaces : a course in constructing mathematical proofs
Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development