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

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