- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2198-9753
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Learning about Proof with the Theorem Prover LEAN: the Abundant Numbers Task ; day:7 ; month:7 ; year:2021 ; pages:1-30
International journal of research in undergraduate mathematics education ; (7.7.2021), 1-30
- Creator
-
Thoma, Athina
Iannone, Paola
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s40753-021-00140-1
- URN
-
urn:nbn:de:101:1-2021101600002039045399
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 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
- Thoma, Athina
- Iannone, Paola
- SpringerLink (Online service)
Other Objects (12)
Proof of a theorem in the theory of Numbers
Proof of Miquel's Theorem.
Proof of Stringling's theorem.
Two theorems on prime numbers.
A proof Fourier's series theorem.
Proof of a hydrodynamical theorem.
Combinatorial proof of Muchnik's theorem
Dr. Ferrers's theorem on prime numbers.
Theorem in the partition of numbers.
Theorem proving with the real numbers
A new proof of Picard's theorem.
Fundamental theorems relating to the Bernoullian numbers.
Proof of a theorem in the theory of Numbers
Proof of Miquel's Theorem.
Proof of Stringling's theorem.
Two theorems on prime numbers.
A proof Fourier's series theorem.
Proof of a hydrodynamical theorem.
Combinatorial proof of Muchnik's theorem
Dr. Ferrers's theorem on prime numbers.
Theorem in the partition of numbers.
Theorem proving with the real numbers
A new proof of Picard's theorem.
Fundamental theorems relating to the Bernoullian numbers.
Proof of a theorem in the theory of Numbers
Proof of Miquel's Theorem.
Proof of Stringling's theorem.
Two theorems on prime numbers.
A proof Fourier's series theorem.
Proof of a hydrodynamical theorem.
Combinatorial proof of Muchnik's theorem
Dr. Ferrers's theorem on prime numbers.
Theorem in the partition of numbers.
Theorem proving with the real numbers
A new proof of Picard's theorem.