Note on the generalization of calculations

Theoretical Computer Science

Volumn 224, Issue 1-2, 1999, Pages 3-11

  Baaz, Matthias ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Calculation; Fermat number; Generalization

Indexed keywords

EID: 0347663596     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00304-1     Document Type: Article

References (9)

1. L.E. Dickson, History of the Theory of Numbers, Chelsea Publishing Company, New York, 1952.
2. L. Euler, Comm. Ac. Petrop. 103-107, 1732-1733.
3. Fermat, Œuvre 1 (1891) 131.
4. Fermat, Œuvre 2 (1894) 206, 309, 404. letter to Fernicle, August 1640, letter to Pascal, 29 August 1654, proposed to Brouncker and Wallis, June 1658.
5. Fermat, Œuvre 2 (1894) 433-434 letter to Carcave, August 1659.
6. Fuss (Ed.), Corresp. Math. Phys. I (1843) 10, 20, 32 letter of December 1729; letter of 22 May 1730; letter of July 1730.
7. A. Leitsch, The Resolution Calculus, EATCS - Texts in Theoretical Computer Science, Springer, Berlin, 1997.
8. J.A. Robinson, A machine oriented logic based on the resolution principle, J. ACM 12 (3) (1965) 23-41.
9. H. Schubart, Einführung in die klassische und moderne Zahlentheorie, Vieweg, Braunschweig, 1974.