Proof of class number formulae by machine |
| |
Authors: | Guangheng Ji Hongwen Lu |
| |
Institution: | (1) Department of Mathematics, Tongji University, 200092 Shanghai, China |
| |
Abstract: | As an attempt to follow the direction of machine proof, a personal computer LE0386/25 is used to prove some class number formulae
for certain imaginary quadratic number fields
,q=3, 7, 11, 19, 23, 31, 43 and 47) if the real quadratic number field
has class number one for a primep = 4N
2 + 1 (N is a positive integer).
Project supported by the National Natural Science Foundation of China. |
| |
Keywords: | quadratic fields class number continued fractions computer |
本文献已被 SpringerLink 等数据库收录! |
|