Iterated Resultants and Rational Functions in Real Quantifier Elimination

MaRDI QIDQ6465094zbMATH OpenFDO

Authors James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu

Publication date 23 December 2023

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

This page was built for publication: Iterated Resultants and Rational Functions in Real Quantifier Elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6465094)