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

括号代数相关论文

括号代数中的几个新的多项式恒等式

在本毕业论文我们用代数的Grobner-Shirshov基理论中的主要工具合成运算来给出括号代数中的九个新的多项式恒等式.我们使用的方法......

学位

括号代数 GrObner-Shirshov基合成运算辫子关系多项式恒等式

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

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

期刊

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

看过本文同时还关注