Pages that link to "Item:Q4445012"
From MaRDI portal
The following pages link to ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS (Q4445012):
Displaying 3 items.
- Gröbner bases for polynomial systems with parameters (Q607062) (← links)
- On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (Q748755) (← links)
- Parametric equation solving and quantifier elimination in finite fields with the characteristic set method (Q2439880) (← links)