摘要
As an attempt to follow the direction of machine proof, a personal computer LEO386/25 is used to prove some class number formulae for certain imaginary quadratic number fields Q (p) , ( q =3, 7, 11, 19, 23, 31, 43 and 47) if the real quadratic number field Q (-p) has class number one for a prime p=4N 2+1 (N is a positive integer).
As an attempt to follow the direction of machine proof, a personal computer LEO386/25 is used to prove some class number formulae for certain imaginary quadratic number fields Q (p) , ( q =3, 7, 11, 19, 23, 31, 43 and 47) if the real quadratic number field Q (-p) has class number one for a prime p=4N 2+1 (N is a positive integer).
基金
ProjectsupportedbytheNationalNaturalScienceFoundationofChina .
