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 \({\Bbb Q}\left( {\sqrt p } \right)\),q=3, 7, 11, 19, 23, 31, 43 and 47) if the real quadratic number field \({\Bbb Q}\left( {\sqrt { - p} } \right)\) has class number one for a primep = 4N 2 + 1 (N is a positive integer).
Similar content being viewed by others
References
Coldfeld, D., Gauss’ class number problem for imaginary quadratic fields,Bulletin (New Series) of the AMS, 1983, 13(1): 23.
Zagier, D., L-series of eliptic curves, the Birch-Swinnerton-Dyer conjecture, and the class number problem of Gauss,Notices of the AMS, 1984, 31(7): 737.
Yokoi, H., Class number one problem for real quadratic fields (The conjecture of Gauss),Proc. of the Japan Academy, Ser A, 1988, 64(2): 53.
Chowla, S., Friedlander, J., Class numbers and quadratic residues,Glasgow Math. J., 1976, 17: 47.
Tatuzawa, T., On a theorem of Siegel,JapaneseJ. Math., 1951, 21: 163.
Lu, H.,Gauss’ Conjectures on the Quadratic Number Fields (in Chinese), Shanghai: Shanghai Scientific & Technical Publishers, 1994.
Goldfeld, D., The class number of quadratic fields and the conjectures of Birch and Swinnerton-Dyer,Ann. Scuola Norm. Sup. Pisa, 1976, 3(4): 623.
Lu, H., On the class-number of real quadratic fields,Scientia Sinica, 1979, (Special issue (II)): 118.
Lu, H., On the class-number of real quadratic fields with class number one (in Chinese), J.of USTC, 1980, 10(4): 133.
Lu, H., Kroecker Limit formula of real quadratic fields (I),Scientia Sinica, Ser. A, 1984, 27(12): 1233.
Lu, H, Hirzebruch sum and class number of the quadratic fields,Chinese Science Bulletin, 1991, 36(14): 1145.
Hua, L. K.,An Introduction to the Number Theory, New York: Springer-Verlag, 1982.
Author information
Authors and Affiliations
Additional information
Project supported by the National Natural Science Foundation of China.
Rights and permissions
About this article
Cite this article
Ji, G., Lu, H. Proof of class number formulae by machine. Sci. China Ser. A-Math. 41, 371–378 (1998). https://doi.org/10.1007/BF02879028
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02879028