Polynomial system solving and elimination
4 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Polynomial eliminationSystem solvingReal quantifier eliminationGeometric theorem proving
computational-algebra
- Resultant computationSylvester determinantspecialistcomputational-algebra
- Cylindrical algebraic decompositionstandalonespecialistcomputational-algebra
- Wu's methodCharacteristic setsspecialistcomputational-algebra
- Faugere-Gianni-Lazard-MoraGroebner basis change of orderspecialistcomputational-algebra