位置：成果数据库 > 期刊 > 期刊详情页
Parametric equation solving and quantifier elimination in finite fields with the characteristic set
  • ISSN号：1009-6124
  • 期刊名称：Journal of Systems Science and Complexity
  • 时间：0
  • 页码：778-791
  • 相关项目：多项式同构问题与多变量密码分类分析研究
作者： Huang, Zhenyu|
同期刊论文项目
多项式同构问题与多变量密码分类分析研究
期刊论文 17 会议论文 24
同项目期刊论文
On enumeration of polynomial equivalence classes
ON THE NONEXISTENCE of BENT FUNCTIONS
对Bivium流密码的变元猜测代数攻击
Fast algebraic attacks and decomposition of symmetric boolean functions
On designated-weight Boolean functions with highest algebraic immunity
Comments on A design of Boolean Functions Resistant to (Fast) Algebraic Cryptanalysis with Efficient
A Method for Counting the Number of Polynomial Equivalence Classes
An Efficient Method for Computing Comprehensive Gröbner Bases
An Efficient Algorithm for Factoring Polynomials over Algebraic Extension Field
On enumeration of polynomial equivalence classes and their application to MPKC
Ergodic theory over F-2[T]
有限域中的循环矩阵在密码学方面的相关问题
Improving the Lower Bound on Linear Complexity of the Sequences Generated by Nonlinear Filtering
一种布尔多项式的高效计算机表示
具有良好密码学性质的布尔函数的级联构造
PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD
期刊信息
  • 《系统科学与复杂性学报：英文版》
  • 主管单位:中国科学院
  • 主办单位:中国科学院系统科学研究所
  • 主编：
  • 地址：北京东黄城根北街16号
  • 邮编：100080
  • 邮箱：
  • 电话：010-62541831 62541834
  • 国际标准刊号：ISSN：1009-6124
  • 国内统一刊号：ISSN：11-4543/O1
  • 邮发代号:82-545
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国科学引文索引（扩展库）,英国科学文摘数据库
  • 被引量:125