搜索筛选:
搜索耗时3.7872秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：Yong-Bin Li,WU Liu,Xiao-Lin Xi,
来源：计算机科学技术学报（英文版） 年份：2004
This paper presents a complete method to prove geometric theorem by decomposing the corresponding polynomial system into strong regular sets, by which one can c...
相关搜索：
