Adam W. Strzebonski. Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas. In Joris van der Hoeven, Mark van Hoeij, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012. pages 335-342, ACM, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.