Iterated Resultants and Rational Functions in Real Quantifier Elimination.
Saved in:
| Title: | Iterated Resultants and Rational Functions in Real Quantifier Elimination. |
|---|---|
| Authors: | Davenport, James H.1 (AUTHOR) J.H.Davenport@bath.ac.uk, England, Matthew2 (AUTHOR) Matthew.England@coventry.ac.uk, McCallum, Scott3 (AUTHOR) Scott.Mccallum@mq.edu.au, Uncu, Ali K.1,4 (AUTHOR) |
| Source: | Mathematics in Computer Science. 11/19/2025, Vol. 19 Issue 1, p1-23. 23p. |
| Database: | Mathematics Source |
| ISSN: | 16618270 |
|---|---|
| DOI: | 10.1007/s11786-025-00606-4 |
