对良性基方法和微分特征列方法进行算法化,然后把这种方法在MAPLE中实现并和软件中的Grbner方法进行比较.......

通过多元多项式的除法, 将0-1多项式规划问题转化为每个变量的次数至多为1的0-1多项式规划问题, 再用多项式环的理想Grbner基的Buc......

通过引入计算代数中Gr bner基技术和合冲模算法,提出了一种多带多维滤波器组的多相元矩阵的对称正交化设计方法,给出了一个4带二维......

非线性方程组的求解是代数攻击的关键一环.对于一个具体的密码系统,在转化为方程组后,由于其计算上的复杂性,一般采用先猜测部分变......

以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点......

研究了NGP（nearly general stewart-gough platform）并联机构动平台位置与姿态变量之间的耦合关系,将9个变量中的6个用其余的3个表达......

代数攻击是近年出现的重要密码分析方法，目前已被成功应用于对称和非对称密码领域中多种密码算法的分析之中。该技术借助于代数方程......