Cylindrical algebraic decomposition I: the basic algorithm
SIAM Journal on Computing
Computer algebra: symbolic and algebraic computation (2nd ed.)
On approximations and incidence in cylindrical algebraic decompositions
SIAM Journal on Computing
Topologically reliable display of algebraic curves
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
Hi-index | 0.00 |