计光恒
- 作品数：2 被引量：2H指数：1
- 供职机构：同济大学理学院应用数学系更多>>
- 发文基金：国家自然科学基金国家自然科学基金委员会数学天元基金更多>>
- 相关领域：理学更多>>
- 类数公式的机器证明——Chowla一个猜想的注记被引量：2
- 1998年
- 设素数 p=4N2 + 1 (N为一个正整数 )使得实二次数域Q(p)的类数为1 ,作为追随吴文俊数学定理机器证明方向的一次尝试 ,用微机证明了一些虚二次数域Q( - qp)的类数公式 ,这里 q =3,7,1 1 ,1 9,2 3,31 ,43和 47.
- 计光恒陆洪文
- 关键词：二次数域类数连分数机器证明
- 类数与计算机——关于S.Chowl a一个猜想的注记
- 1994年
- 本文利用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给出.
- 计光恒陆洪文
- 关键词：二次数域类数连分数计算机
