- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Bamberg
- (who)
-
Otto-Friedrich-Universität Bamberg
- (when)
-
2022
- Creator
-
Bayer, Jonas
Benzmüller, Christoph
Buzzard, Kevin
David, Marco
Lamport, Leslie
Matiyasevich, Yuri
Paulson, Lawrence
Schleicher, Dierk
Stock, Benedikt
Zelmanov, Efim
- DOI
-
10.48550/ARXIV.2207.04779
- URN
-
urn:nbn:de:bvb:473-irb-545931
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:20 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
- Bayer, Jonas
- Benzmüller, Christoph
- Buzzard, Kevin
- David, Marco
- Lamport, Leslie
- Matiyasevich, Yuri
- Paulson, Lawrence
- Schleicher, Dierk
- Stock, Benedikt
- Zelmanov, Efim
- Otto-Friedrich-Universität Bamberg
Time of origin
- 2022
Other Objects (12)
Generosity between generations, or : the generations of generosity
IMathAS & automated Assessment of mathematical Proof
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
A microorganisms’ journey between plant generations
Mathematical argumentation and proof supporting a complex cognitive skill
Grounded and embodied mathematical cognition: Promoting mathematical insight and proof using action and language
Climate change and Justice between nonoverlapping generations
Transmission of Problem Gambling Between Adjacent Generations
Formalization of Mathematical Proof Practice Through an Argumentation-Based Model
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Generosity between generations, or : the generations of generosity
IMathAS & automated Assessment of mathematical Proof
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
A microorganisms’ journey between plant generations
Mathematical argumentation and proof supporting a complex cognitive skill
Grounded and embodied mathematical cognition: Promoting mathematical insight and proof using action and language
Climate change and Justice between nonoverlapping generations
Transmission of Problem Gambling Between Adjacent Generations
Formalization of Mathematical Proof Practice Through an Argumentation-Based Model
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Generosity between generations, or : the generations of generosity
IMathAS & automated Assessment of mathematical Proof
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
A microorganisms’ journey between plant generations
Mathematical argumentation and proof supporting a complex cognitive skill
Grounded and embodied mathematical cognition: Promoting mathematical insight and proof using action and language
Climate change and Justice between nonoverlapping generations
Transmission of Problem Gambling Between Adjacent Generations
Formalization of Mathematical Proof Practice Through an Argumentation-Based Model