Using resultants to build a defining polynomial and Thom's lemma to isolate the correct root, a single new variable per algebraic expression replaces several radical variables in polynomial reformulations.
Algorithms in Real Algebraic Geometry
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.OC 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A new method for reducing algebraic programs to polynomial programs
Using resultants to build a defining polynomial and Thom's lemma to isolate the correct root, a single new variable per algebraic expression replaces several radical variables in polynomial reformulations.