LSI Department Technical University of Catalonia Barcelona, Spain;
groebner basis; ideal; loop invariant;
机译:使用抽象解释自动生成有界多项式不变量
机译:R〜3中某些二维代数环上的多项式矢量场的不变平行,不变子午线和极限环
机译:p-adic多项式不变量又是哪个伪反射组的多项式代数?
机译:自动生成多项式循环不变:代数基础
机译:模块化多项式乘法的自动库生成和性能优化。
机译:使用数字解剖学家基础模型进行半自动场景生成。
机译:具有多项式赋值的多路径循环的不变生成
机译:具有代数不变量的多项式系统极限环的唯一性