Mechanical theorem proving in differential geometry - Local theory of surfaces

CSpace

	Mechanical theorem proving in differential geometry - Local theory of surfaces
	Li, HB
	1997-04-01
发表期刊	SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY
ISSN	1006-9283
卷号	40 期号:4 页码:350-356
摘要	An automated reasoning method, based on Wu's method and calculus of differential forms, is proposed for mechanical theorem proving in local theory of space surfaces in differential geometry. The method has been used to simplify one of Chern's theorems: ''The non-trivial families of isometric surfaces having the same principal curvatures are W-surfaces.'' It Some other theorems are also tested by this method. The proofs are generally simpler than those in differential geometry textbooks.
关键词	Wu's method differential forms Chern's theorem
语种	英语
WOS研究方向	Mathematics
WOS类目	Mathematics, Applied ; Mathematics
WOS记录号	WOS:A1997WQ08700002
出版者	SCIENCE CHINA PRESS
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/28971
专题	中国科学院数学与系统科学研究院
通讯作者	Li, HB
作者单位	CHINESE ACAD SCI,INST SYST SCI,BEIJING 100080,PEOPLES R CHINA
推荐引用方式 GB/T 7714	Li, HB. Mechanical theorem proving in differential geometry - Local theory of surfaces[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY,1997,40(4):350-356.
APA	Li, HB.(1997).Mechanical theorem proving in differential geometry - Local theory of surfaces.SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY,40(4),350-356.
MLA	Li, HB."Mechanical theorem proving in differential geometry - Local theory of surfaces".SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY 40.4(1997):350-356.