Corpus ID: 116260406

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
Descente Infinie + Deduction
  • 52
Lagrange and the four-square theorem
  • PDF
Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?
  • 4
  • PDF
Computer-assisted human-oriented inductive theorem proving by descente infinie - a manifesto
  • 4
Automation of Mathematical Induction as part of the History of Logic
  • 12
  • PDF
Recent publications