机译:Cayley和方括号Ⅱ的射影几何定理的自动短证明生成。圆锥几何
Mathematics Mechanization Key Lab, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing 100080, China;
bracket algebra; cayley algebra; automated theorem proving; projective conic geometry;
机译:Cayley和方括号Ⅰ的射影几何定理的自动短证明生成。入射几何
机译:使用B. Poonen的Bertini定理,所有线性码的简短证据是弱代数 - 几何
机译:射影几何的基本定理:1847年至1900年之间射影几何的证明的演变
机译:COQ中Grassmann-Cayley代数的形式化及其在投影几何中证明的定理应用
机译:对拓扑,代数几何和表示理论的三个贡献:阿贝尔封面的同调有限性,代数椭圆同调理论和椭圆环境中的一峰定理。
机译:几何代数是否为贝尔的定理提供了漏洞?
机译:用Cayley和方括号代数II自动生成投影几何定理的简短证明。圆锥几何