PROOF OF CLASS NUMBER FORMULAS BY MACHINE - A NOTE ON A CHOWLAS CONJECTURE

Authors
JI GH LU HW
Citation
Gh. Ji et Hw. Lu, PROOF OF CLASS NUMBER FORMULAS BY MACHINE - A NOTE ON A CHOWLAS CONJECTURE, Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences, 41(4), 1998, pp. 371-378
Citations number
12
Categorie Soggetti
Multidisciplinary Sciences
Journal title
Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences → ACNP
ISSN journal
10016511
Volume
41
Issue
4
Year of publication
1998
Pages
371 - 378
Database
ISI
SICI code
1001-6511(1998)41:4<371:POCNFB>2.0.ZU;2-1
Abstract
As an attempt to follow the direction of machine proof, a personal com puter LEO386/25 is used to prove some class number formulae for certai n imaginary quadratic number fields Q(root p), (q = 3, 7, 11, 19, 23, 31, 43 and 47) ii the real quadratic number field Q(root-p) has class number one for a prime p = 4N(2) + 1 (N is a positive integer).