From Fermat to Gauss: indefinite descent and methods of reduction in number theory
@inproceedings{Bussotti2006FromFT,
title={From Fermat to Gauss: indefinite descent and methods of reduction in number theory},
author={P. Bussotti and J. Fischer},
year={2006}
}IndexForeword IPreface by Joachim Fischer III-VIIChapter 1: Introduction, 1-161. What is the infinite or indefinite descent 1-42. The set of problems dealt with applying the descent 4-123. Indefinite descent and complete induction 12-134. Aims and structure of the present work 13-155. The first documented application of the descent 16Chapter 2: Fermat 17-1841. Researches concerning integer numbers in Fermat's time 17-311.1. The scene before Fermat 17-201.2. The contribution of Fermat to… Expand
9 Citations
Historical and Foundational Details on the Method of Infinite Descent: Every Prime Number of the Form 4n + 1 is the Sum of Two Squares
- Mathematics
- 2020
- 3
A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie
- Computer Science
- ArXiv
- 2009
- 5
- PDF
Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?
- Computer Science
- ArXiv
- 2006
- 4
- PDF
Computer-assisted human-oriented inductive theorem proving by descente infinie - a manifesto
- Computer Science
- Log. J. IGPL
- 2012
- 4
Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017
- Computer Science
- FLAP
- 2017
- PDF