%0 Journal Article
%T 初等几何与初等微分几何次序关系定理的机械化判定
%A 王东明
%J 科学通报
%P 877-877
%D 1985
%X 1977年以来,吴文俊相继发现了初等几何与初等微分几何定理证明的机械化方法(参阅WoWencsün,ScientiaStnta,21(1978),159—172&MathematicsSupplement(1),1979,94—102)。这种方法都是针对不牵涉“次序”关系的定理。我们依据类似
%U http://csb.scichina.com:8080/CN/abstract/abstract356388.shtml