Mechanical theorem proving in differential geometry - Local theory of surfaces

Science in China, Series A: Mathematics, Physics, Astronomy

Volumn 40, Issue 4, 1997, Pages

  Li, Hongbo ^a  

^a INSTITUTE OF SYSTEMS SCIENCE   (China)

Author keywords

Chern's theorem; Differential forms; Wu's method

Indexed keywords

EID: 0343402091     PISSN: 10069283     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (4)

1. Wu Wentsun, On the mechanization of theorem proving in elementary and differential geometry, Scientia Sinica, Math. Supplement (I), 1979, 94.
2. Chou, S. C., Gao, X. S., Mechanical theorem proving in differential geometry I. Space curves, MM Research Preprints, 1989, 4:109.
3. Li Ziming, Mechanical theorem proving of the local theory of surfaces, MM Research Preprints, 1991, 6:102.
4. Chern, S.S., Deformation of surfaces preserving principal curvatures, in Differential Geometry and Complex Analysis, Volume in Memory of H. Ráuch, Berlin: Springer-Verlag, 1984, 155-163.