A study on the teaching of proofs using the method of infinite descent
From MaRDI portal
Publication:2802087
Recommendations
- From Fermat to Gauss: indefinite descent and methods of reduction in number theory
- scientific article; zbMATH DE number 516953
- Proofs of \textit{pons asinorum}. Contributions of history to mathematics education
- Computer-assisted human-oriented inductive theorem proving by \textit{descente infinie} -- a manifesto
- Descente Infinie + Deduction
This page was built for publication: A study on the teaching of proofs using the method of infinite descent
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802087)