The design of LINETOOL, a geometric editor
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
Automated reasoning in geometries using the characteristic set method and Gröbner basis method
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Automated Discovering and Proving for Geometric Inequalities
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Complete Solution Classification for the Perspective-Three-Point Problem
IEEE Transactions on Pattern Analysis and Machine Intelligence
Algorithms to compute the topology of orientable real algebraic surfaces
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
The complete root classification of a parametric polynomial on an interval
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Automatic computation of the complete root classification for a parametric polynomial
Journal of Symbolic Computation
An algorithm for computing the complete root classification of a parametric polynomial
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |