Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
0902.3623
Cited By
v1
v2
v3
v4 (latest)
A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie
20 February 2009
Claus-Peter Wirth
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie"
1 / 1 papers shown
Automation of Mathematical Induction as part of the History of Logic
J. Strother
Claus-Peter Wirth
AI4CE
247
14
0
24 Sep 2013
1
Page 1 of 1
