机译:基于线性代数的Gr(o)bner基算法在布尔多项式环上实现符号预处理功能
机译:基于* -algebras的算法,以及它们对多项式的同构秘密,群体同构和多项式身份测试的应用
机译:基于地代理消除的围绕建模的多项式参数算法识别方法
机译:基于* -algebras的算法,以及它们对多项式的同构的应用,具有一个秘密,群体同构和多项式身份测试
机译:二次多项式定义的半代数集的算法和拓扑方面
机译:零代数域中的ZEROS LIE的多项式的代数刻画
机译:SyNRAC中基于圆柱代数分解的量词消除程序(计算机代数:算法,实现和应用设计)