搜索筛选:
搜索耗时2.7469秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determi
[期刊论文] 作者：RuYong Feng (1), JianPing Yu,
来源：中国科学：数学英文版 年份：2008
In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in differential geometry with a mechanical proc...
相关搜索：
