LE2I, UMR CNRS 5158, 9 av Alain Savary, BP 47870, 21078 Dijon cedex, Prance;
机译:Cayley和方括号Ⅰ的射影几何定理的自动短证明生成。入射几何
机译:Cayley和方括号Ⅱ的射影几何定理的自动短证明生成。圆锥几何
机译:几何定理的可读机方法的回顾与展望
机译:有些LEMMAS希望能够找到搜索方法来查找突出几何致理性逻辑的简短和人类可读证明
机译:不同证明策略对学习几何定理证明的影响。
机译:混合和收缩投影方法针对两个单调算子和的强收敛定理
机译:带有Cayley和方括号代数的射影几何定理的自动短证明生成I.入射几何