An efficient approach to removing geometric degeneracies
SCG '92 Proceedings of the eighth annual symposium on Computational geometry
A complete and practical algorithm for geometric theorem proving (extended abstract)
Proceedings of the eleventh annual symposium on Computational geometry
Lower bounds for linear satisfiability problems
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
Verified error bounds for real solutions of positive-dimensional polynomial systems
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Hi-index | 0.00 |