Rectification; Arithmetic circuits; Gr?bner bases; Craig interpolants;
机译:有限域上函数代数中深度3算术电路的指数下界
机译:有限域GF(2 / sup m /)元素的新表示形式,产生小复杂度的运算电路
机译:基于正态基表示的伽罗瓦域算术电路的形式化设计
机译:有限字段中克雷格嵌段算术电路的整改
机译:使用计算机代数技术的有限域算术电路的可扩展形式验证。
机译:有限域上代数曲线算法中的一些基本群
机译:可取性模中计算克雷格插值的一种新技术整数线性算术理论