仿射括号代数相关硕士博士期刊学术论文 - 搜论网

仿射括号代数相关论文

括号代数、仿射括号代数和定理机器证明

该文主要做了以下工作:在括号代数方面,1、给出了合冲理想中的任意一个多项式可以被Grassmann-Plucker关系式中的最短关系式——三......

学位

括号代数仿射括号代数机器证明射影几何仿射几何

仿射括号代数理论与算法及其在几何定理机器证明中的应用

主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法,同时......

期刊

定理机器证明几何不变量括号代数仿射几何仿射括号代数

看过本文同时还关注