ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS

DOI10.1142/9789812704436_0011zbMath1232.65078OpenAlexW2318145943MaRDI QIDQ4445012

Ding-Kang Wang, Xiao-Shan Gao

Publication date: 28 January 2004

Published in: Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789812704436_0011

zbMATH Keywords

number of solutionstriangularizationcharacteristic set methodzero decomposition theoremParametric equation system

Mathematics Subject Classification ID

Nonlinear algebraic or transcendental equations (65H99)

Related Items (3)

Gröbner bases for polynomial systems with parameters ⋮ Parametric equation solving and quantifier elimination in finite fields with the characteristic set method ⋮ On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems

This page was built for publication: ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS