View in EDS

Iterated Resultants and Rational Functions in Real Quantifier Elimination.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first