CSpace  > 系统科学研究所
图表追踪的一种机器实现方法
谢正1; 叶征2; 李洪波3; 黄雷3
2010
Source Publication中国科学数学
ISSN1674-7216
Volume000Issue:007Pages:660
Abstract交换图表追踪法是同调代数中一种重要的证明方法.本文提出了一种基于前推的交换图表追踪的机器实现方法,它可以证明同调代数中一系列基于交换图的定理.该方法从定理的结论出发,通过构造辅助元素以及对辅助元素进行推导,能在有限步内给出定理的证明.本文提出的前推方法已经在Java开发平台上实现,同调代数中的五引理、九引理、蛇引理等的证明都可以由我们的程序自动产生.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/49372
Collection系统科学研究所
Affiliation1.浙江大学
2.浙江工商大学
3.中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
谢正,叶征,李洪波,等. 图表追踪的一种机器实现方法[J]. 中国科学数学,2010,000(007):660.
APA 谢正,叶征,李洪波,&黄雷.(2010).图表追踪的一种机器实现方法.中国科学数学,000(007),660.
MLA 谢正,et al."图表追踪的一种机器实现方法".中国科学数学 000.007(2010):660.
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
[叶征]'s Articles
[李洪波]'s Articles
Baidu academic
Similar articles in Baidu academic
[谢正]'s Articles
[叶征]'s Articles
[李洪波]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[谢正]'s Articles
[叶征]'s Articles
[李洪波]'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.