Students’ use of generative artificial intelligence for proving mathematical statements
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Students’ use of generative artificial intelligence for proving mathematical statements ; day:26 ; month:8 ; year:2024 ; pages:1-21
ZDM ; (26.8.2024), 1-21
- Creator
-
Yoon, Hyunkyoung
Hwang, Jihye
Lee, Kyungwon
Roh, Kyeong Hah
Kwon, Oh Nam
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11858-024-01629-0
- URN
-
urn:nbn:de:101:1-2411112100318.685882654240
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 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
- Yoon, Hyunkyoung
- Hwang, Jihye
- Lee, Kyungwon
- Roh, Kyeong Hah
- Kwon, Oh Nam
- SpringerLink (Online service)
Other Objects (12)
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Generative artificial intelligence
Employing Digital Tools for Collaborative and Flexible Mathematical Proving
Editorial statement for mathematical finance
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Mathematical conversations : selections from The mathematical intelligence
What is generative in generative artificial intelligence? A design-based perspective
Visual Proving
Undergraduate students’ attitudes towards mathematical proving in an introduction to proof course
Competition in generative artificial intelligence foundation models
Generative Artificial Intelligence in the energy sector
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Generative artificial intelligence
Employing Digital Tools for Collaborative and Flexible Mathematical Proving
Editorial statement for mathematical finance
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Mathematical conversations : selections from The mathematical intelligence
What is generative in generative artificial intelligence? A design-based perspective
Visual Proving
Undergraduate students’ attitudes towards mathematical proving in an introduction to proof course
Competition in generative artificial intelligence foundation models
Generative Artificial Intelligence in the energy sector
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Generative artificial intelligence
Employing Digital Tools for Collaborative and Flexible Mathematical Proving
Editorial statement for mathematical finance
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Mathematical conversations : selections from The mathematical intelligence
What is generative in generative artificial intelligence? A design-based perspective
Visual Proving
Undergraduate students’ attitudes towards mathematical proving in an introduction to proof course
Competition in generative artificial intelligence foundation models