- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
-
Arana, Andrew
Stafford, Will
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11229-023-04184-5
- URN
-
urn:nbn:de:101:1-2023121312002595027422
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:24 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
- Arana, Andrew
- Stafford, Will
- SpringerLink (Online service)
Other Objects (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