Note on the generalization of calculations

被引：6

作者：

Baaz, M ^{[1
]}

机构：

[1] Vienna Tech Univ, Inst Algebra & Comp Math, A-1040 Vienna, Austria

来源：

THEORETICAL COMPUTER SCIENCE | 1999年 / 224卷 / 1-2期

基金：

奥地利科学基金会;

关键词：

calculation; Fermat number; generalization;

D O I：

10.1016/S0304-3975(98)00304-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This note describes a logical method for the generalization of calculations, which is applied to Euler's factorization of the 5th Fermat prime, F-5 = 2(25) + 1. (C) 1999 Elsevier Science B.V. All rights reserved.

引用

页码：3 / 11

页数：9

共 15 条

[1]

Dickson Leonard Eugene, 1952, History of Theory of Numbers

[2]

EULER L, COMM AC PEROP, V103, P1732

[3]

FERNICLE, 1640, COMMUNICATION AUG

[4]

FUSS, 1843, CORRESP MATH PHYS, V1, P32

[5]

FUSS, 1843, CORRESP MATH PHYS, V1, P20

[6]

FUSS, 1843, CORRESP MATH PHYS, V1, P10

[7]

PASCAL, 1954, COMMUNICATION 0829

[8] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .

JOURNAL OF THE ACM, 1965, 12 (01) :23-&

[9]

SCHUBART H, 1974, EINFUHRUNG KLASSISCH

[10]

1894, OEUVRE, V2, P206

← 1 2 →