机译:基于反对流格罗布纳法的无坐标形式几何定理的自动证明和分析
Moscow State University;
机译:用Grobner基法自动进行可约几何定理的证明和发现
机译:基于分数阶径向基函数的几何分布权重信息线性判别分析方法
机译:基于分数阶径向基函数的几何分布权重信息线性判别分析方法
机译:反坐标Groebner基法分析无坐标形式的几何定理
机译:对自动定理证明和形式方法以及对控制系统的应用做出了贡献。
机译:使用定理证明关于系统生物学的形式推理
机译:关联几何中的自动定理证明 - 基于支架代数的消元法
机译:与Boyer-moore定理证明器的相互作用:使用算术几何中值定理的教程研究