CSpace  > 系统科学研究所
数学机械化进展综述
高小山
2001
Source Publication数学进展
ISSN1000-0917
Volume30Issue:5Pages:385
Abstract该文介绍数学机械化理论:构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用.文中还提出了一些待解决的问题.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/43989
Collection系统科学研究所
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
高小山. 数学机械化进展综述[J]. 数学进展,2001,30(5):385.
APA 高小山.(2001).数学机械化进展综述.数学进展,30(5),385.
MLA 高小山."数学机械化进展综述".数学进展 30.5(2001):385.
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.