...
机译:DeSARGUES定理在三角几何中的应用
Kocaeli University, Department of Mathematics, Ataturk Bulvari, Izmit, Turkey;
机译:在三维射影空间中证明和推广Desargues的两个三角形定理
机译:在Coq中正规化射影几何的案例研究:Desargues定理
机译:DeSARGUES定理在描述几何规则中的应用
机译:增强现实应用的Desargues定理
机译:比较定理,几何不等式及其在p调和几何中的应用
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:Coq形式化投影几何形式的案例研究:Desargues定理