初等几何与初等微分几何次序关系定理的机械化判定

<正> 1977年以来,吴文俊相继发现了初等几何与初等微分几何定理证明的机械化方法(参阅Wo Wencsün,Scientia Stnta,21(1978),159—172 & Mathematics Supplement(1),1979,94—102)。这种方法都是针对不牵涉“次序”关系的定理。我们依据类似