类数与计算机——关于S.Chowl a一个猜想的注记

本文利用LEO 386/25 微机证明了:如果素数p=4N^2+1(N为正整数)使实二次数域Q(1/p)的类数为1,则对素数g=3,7,11,19,23,31,43与47,虚二次数域Q(1/-qp)的类数由本文的定理4给出.

类数公式的机器证明——Chowla一个猜想的注记

设素数 p=4N2 + 1 (N为一个正整数 )使得实二次数域Q(p)的类数为1 ,作为追随吴文俊数学定理机器证明方向的一次尝试 ,用微机证明了一些虚二次数域Q( - qp)的类数公式 ,这里 q =3,7,1 1 ,1 9,2 3,31 ,43和 47.

Proof of class number formulae by machine --A note on a Chowla's conjecture

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).