|
|||||
|
|
| 类数公式的机器证明——Chowla一个猜想的注记 | |
| 引用本文： | 计光恒,陆洪文.类数公式的机器证明——Chowla一个猜想的注记[J].中国科学A辑,1998,41(3):193-200. |
| 作者姓名： | 计光恒 陆洪文 |
| 作者单位： | 同济大学应用数学系 上海200092 |
| 摘 要： | 设素数 p=4N2 + 1 (N为一个正整数 )使得实二次数域Q(√p)的类数为1 ,作为追随吴文俊数学定理机器证明方向的一次尝试 ,用微机证明了一些虚二次数域Q√( -qp)的类数公式 ,这里 q =3,7,1 1 ,1 9,2 3,31 ,43和 47. |
| 关 键 词： | 二次数域 类数 连分数 机器证明 微机 |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |