| 一类初等几何定理的机械化证明 | |
| 谭红艳 ; 吴尽昭 | |
| 2015-03-13 ; 2015-03-13 | |
| 关键词 | 根理想 不可约特征列 余式 几何定理的一般真确性 |
| 中文摘要 | 对一类初等几何定理，通过根理想的分解，给出了一种机械化方法，利用这种方法，可恰好同时获得所有的不可约特征列．因而一类几何定理是一般真确的当且仅当其终结多项式对这些不可约特征列的余式为零． |
| 语种 | 中文 |
| 出版者 | 兰州大学学报 |
| 其他责任者 | 兰州大学计算机科学系 ; 北京大学数学系 |
| 内容类型 | 期刊论文 |
| 源URL | [http://ir.calis.edu.cn/hdl/530500/4584]  |
| 专题 | 广西民族大学 |
| 推荐引用方式 GB/T 7714 | 谭红艳,吴尽昭. 一类初等几何定理的机械化证明[J],2015, 2015. |
| APA | 谭红艳,&吴尽昭.(2015).一类初等几何定理的机械化证明.. |
| MLA | 谭红艳,et al."一类初等几何定理的机械化证明".(2015). |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论