PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD

Zhenyu HUANG

系统科学与复杂性(英文) ›› 2012, Vol. 25 ›› Issue (4) : 778-791.

PDF(248 KB)
PDF(248 KB)
系统科学与复杂性(英文) ›› 2012, Vol. 25 ›› Issue (4) : 778-791. DOI: 10.1007/s11424-012-0168-4

PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD

    Zhenyu HUANG
作者信息 +

PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD

    Zhenyu HUANG
Author information +
文章历史 +

Abstract

For a parametric algebraic system in finite fields, this paper presents a method for computing the cover and the refined cover based on the characteristic set method. From the cover, the author knows for what parametric values the system has solutions and at the same time presents the solutions in the form of proper chains. By the refined cover, the author gives a complete classification of the number of solutions for this system, that is, the author divides the parameter space into several disjoint components, and on every component the system has a fix number of solutions. Moreover, the author develops a method of quantifier elimination for first order formulas in finite fields.

引用本文

导出引用
Zhenyu HUANG. PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD. 系统科学与复杂性(英文), 2012, 25(4): 778-791 https://doi.org/10.1007/s11424-012-0168-4
Zhenyu HUANG. PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD. Journal of Systems Science and Complexity, 2012, 25(4): 778-791 https://doi.org/10.1007/s11424-012-0168-4
PDF(248 KB)

122

Accesses

0

Citation

Detail

段落导航
相关文章

/