Interpolation; Algebra; Computational modeling; Debugging; Cognition; Circuit faults; Mathematical model;
机译:从组合电路中进行字级抽象的高效符号计算,用于有限域验证
机译:有限域上函数代数中深度3算术电路的指数下界
机译:有限域GF(2 / sup m /)元素的新表示形式,产生小复杂度的运算电路
机译:有限域内使用克雷格插值算术电路的可整流性
机译:椭圆曲线密码系统在有限域中的快速位级,字级和并行算法。
机译:有限域上代数曲线算法中的一些基本群
机译:椭圆曲线密码系统有限域中的快速位级,字级和并行算法
机译:基于词级决策图的算法电路验证