- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Employing Digital Tools for Collaborative and Flexible Mathematical Proving ; day:18 ; month:9 ; year:2024 ; pages:1-15
Digital experiences in mathematics education ; (18.9.2024), 1-15
- Urheber
-
Laina, Vasiliki
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s40751-024-00157-6
- URN
-
urn:nbn:de:101:1-2412012113373.076892584757
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:30 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
- Laina, Vasiliki
- SpringerLink (Online service)
Ähnliche Objekte (12)
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Students’ use of generative artificial intelligence for proving mathematical statements
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Visual Proving
Employing ontologies for an improved development process in collaborative engineering
Undergraduate students’ attitudes towards mathematical proving in an introduction to proof course
Automated theorem proving
Automated theorem proving
Proving hypersafety compositionally
A Mathematical Knowledge Base for Proving Theorems in Semigroup and Automata Theory : Part I
Experiences from Employing Evernote as a Tool for Documenting Collaborative Design Processes
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Students’ use of generative artificial intelligence for proving mathematical statements
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Visual Proving
Employing ontologies for an improved development process in collaborative engineering
Undergraduate students’ attitudes towards mathematical proving in an introduction to proof course
Automated theorem proving
Automated theorem proving
Proving hypersafety compositionally
A Mathematical Knowledge Base for Proving Theorems in Semigroup and Automata Theory : Part I
Experiences from Employing Evernote as a Tool for Documenting Collaborative Design Processes
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Students’ use of generative artificial intelligence for proving mathematical statements
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Visual Proving
Employing ontologies for an improved development process in collaborative engineering
Undergraduate students’ attitudes towards mathematical proving in an introduction to proof course
Automated theorem proving
Automated theorem proving
Proving hypersafety compositionally
A Mathematical Knowledge Base for Proving Theorems in Semigroup and Automata Theory : Part I