%0 Journal Article
%T Algorithm and Implementation of Mechanical Proving of a Class of Theorems in Elementary Differential Geometry<br>一类初等微分几何定理机器证明的算法与实现
%A Cao Lina
%A Li Hongbo
%A <br>曹丽娜
%A 李洪波
%J 系统科学与数学
%D 2006
%I 
%X The theory of curves on space surfaces is an important part of the theory of elementary differential geometry. In this paper, a mechanical theorem proving algorithm is proposed, which is based on the exterior differential calculation, vector formulation and the integration of the moving frames of the surfaces, geodesic frames and Frenet frames of the curves on the surfaces. The algorithm is applicable to theorems on local properties of curves on space surfaces, and has been implemented with Maple 9 and tested by 20 examples.
%K Mechanical theorem proving
%K curves on space surfaces
%K exterior differential calculation
%K vector formulation<br>定理机器证明
%K 曲面上的曲线
%K 外微分运算
%K 向量计算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=6E709DC38FA1D09A4B578DD0906875B5B44D4D294832BB8E&cid=37F46C35E03B4B86&jid=0CD45CC5E994895A7F41A783D4235EC2&aid=A8D008F295495E55&yid=37904DC365DD7266&vid=96C778EE049EE47D&iid=E158A972A605785F&sid=396DD691E964F390&eid=238BD7580EFCC5AE&journal_id=1000-0577&journal_name=系统科学与数学&referenced_num=0&reference_num=9