CSpace
一种几何定理机器证明的零维化方法
吴尽昭
1995
Source Publication数学研究与评论
ISSN1000-341X
Volume015Issue:004Pages:617
Abstract本文对一类初等几何定理的证明给出了一种机械化方法,利用这种方法,可计算出一个由有限个素理想组成的集合,所有属于假设部分对应的某一扩域上的理想的素理想都在这个集合中出现并且可以挑选出来。因而一个几何定理一般真确,当且仅当终结多项式属于全部的这种素理想,即对其不可约特征列的余式为零。
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/38505
Collection中国科学院数学与系统科学研究院
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
吴尽昭. 一种几何定理机器证明的零维化方法[J]. 数学研究与评论,1995,015(004):617.
APA 吴尽昭.(1995).一种几何定理机器证明的零维化方法.数学研究与评论,015(004),617.
MLA 吴尽昭."一种几何定理机器证明的零维化方法".数学研究与评论 015.004(1995):617.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[吴尽昭]'s Articles
Baidu academic
Similar articles in Baidu academic
[吴尽昭]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[吴尽昭]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.