- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Mathematik
- Ereignis
-
Veröffentlichung
- (wo)
-
Bamberg
- (wer)
-
Otto-Friedrich-Universität Bamberg
- (wann)
-
2022
- Urheber
-
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
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:20 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
- 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
Entstanden
- 2022
Ähnliche Objekte (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
Real analysis - an introduction : mathematical arguments and elementary proof techniques
Formalization of Mathematical Proof Practice Through an Argumentation-Based Model
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
Real analysis - an introduction : mathematical arguments and elementary proof techniques
Formalization of Mathematical Proof Practice Through an Argumentation-Based Model
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
Real analysis - an introduction : mathematical arguments and elementary proof techniques