A complete and practical algorithm for geometric theorem proving (extended abstract)
Proceedings of the eleventh annual symposium on Computational geometry
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Hi-index | 0.00 |