%0 Journal Article
%T 初等几何与初等微分几何次序关系定理的机械化判定
%A 王东明
%J 科学通报
%D 1985
%I 
%X <正> 1977年以来,吴文俊相继发现了初等几何与初等微分几何定理证明的机械化方法(参阅Wo Wencsün,Scientia Stnta,21(1978),159—172 & Mathematics Supplement(1),1979,94—102)。这种方法都是针对不牵涉“次序”关系的定理。我们依据类似
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=CA949608BC2D084D3A8D2CF59C891384&yid=74E41645C164CD61&vid=340AC2BF8E7AB4FD&iid=708DD6B15D2464E8&sid=A766A50385B9FB1F&eid=A766A50385B9FB1F&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=0