...
机译:欧氏平面几何算术的形式化及其应用
Univ Strasbourg, CNRS, UMR 7357, ICube,Pole API, Bd Sebastien Brant,BP 10413, F-67412 Illkirch Graffenstaden, France;
Formalization; Geometry; Coq; Arithmetization; Intercept theorem; Pythagoras' theorem; Area method;
机译:基本平面欧氏几何和非欧氏几何的基础中的新旧结果
机译:欧几里德?? - 伪欧几里德空间中的平面和盒域的差异几何形状
机译:欧几里德?? - 伪欧几里德空间中的平面和盒域的差异几何形状
机译:欧几里德和非欧几里德飞机二次季型多项式的几何形状
机译:几何方法:通过等距法对欧洲平面几何的公理化发展。
机译:非欧几里得仿射实射和欧几里得几何的新基础
机译:从塔斯基到笛卡尔:欧几里得几何的算术形式化
机译:平面波展开法在具有斜网格几何的周期阵列中的应用。