Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

doi:10.1007/s11425-008-0053-8

CSpace > 系统科学研究所

	Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant
	Feng RuYong1 ; Yu JianPing 2
	2008-10-01
发表期刊	SCIENCE IN CHINA SERIES A-MATHEMATICS
ISSN	1006-9283
卷号	51 期号:10 页码:1763-1774
摘要	In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in differential geometry with a mechanical procedure. We improve the classical result on Wronskian determinant, which can be used to decide whether the elements in a partial differential field are linearly dependent over its constant field. Based on Wronskian determinant, we can describe the geometry statements in the surfaces by an algebraic language and then prove them by the characteristic set method.
关键词	mechanical theorem proving Wu-Ritt's characteristic set method local theory of surface Wronskian determinant
DOI	10.1007/s11425-008-0053-8
语种	英语
资助项目	National Key Basic Research Project of China[2004CB318000]
WOS研究方向	Mathematics
WOS类目	Mathematics, Applied ; Mathematics
WOS记录号	WOS:000258886300002
出版者	SCIENCE PRESS
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/6215
专题	系统科学研究所
通讯作者	Feng RuYong
作者单位	1.Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing 100190, Peoples R China 2.Univ Sci & Technol Beijing, Dept Math & Mech, Beijing 100083, Peoples R China
推荐引用方式 GB/T 7714	Feng RuYong,Yu JianPing. Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS,2008,51(10):1763-1774.
APA	Feng RuYong,&Yu JianPing.(2008).Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant.SCIENCE IN CHINA SERIES A-MATHEMATICS,51(10),1763-1774.
MLA	Feng RuYong,et al."Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant".SCIENCE IN CHINA SERIES A-MATHEMATICS 51.10(2008):1763-1774.