Computing the complexification of a semi-algebraic set
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Algebraic and Semialgebraic Proofs: Methods and Paradoxes
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Computer algebra handbook
Hi-index | 0.00 |