Iterated Resultants and Rational Functions in Real Quantifier Elimination

This paper builds and extends on the authors’ previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quantifier Elimination (QE). These topics are at the heart of symbolic computation and were first implemented in computer alg...

Celý popis

Podrobná bibliografie

Vydáno v:	Mathematics in computer science Ročník 19; číslo 1; s. 12
Hlavní autoři:	Davenport, James H., England, Matthew, McCallum, Scott, Uncu, Ali K.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Heidelberg Springer Nature B.V 01.12.2025
Témata:	Algebra Algorithms Computer algebra Constraints Decomposition Industrial applications Polynomials Rational functions Variables
ISSN:	1661-8270, 1661-8289
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!