KMS Of Academy of mathematics and systems sciences, CAS
Mechanical theorem proving in differential geometry - Local theory of surfaces | |
Li, HB | |
1997-04-01 | |
Source Publication | SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY |
ISSN | 1006-9283 |
Volume | 40Issue:4Pages:350-356 |
Abstract | 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. |
Keyword | Wu's method differential forms Chern's theorem |
Language | 英语 |
WOS Research Area | Mathematics |
WOS Subject | Mathematics, Applied ; Mathematics |
WOS ID | WOS:A1997WQ08700002 |
Publisher | SCIENCE CHINA PRESS |
Citation statistics | |
Document Type | 期刊论文 |
Identifier | http://ir.amss.ac.cn/handle/2S8OKBNM/28971 |
Collection | 中国科学院数学与系统科学研究院 |
Affiliation | CHINESE ACAD SCI,INST SYST SCI,BEIJING 100080,PEOPLES R CHINA |
Recommended Citation 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. |
Files in This Item: | ||||||
There are no files associated with this item. |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment