Algebraic methods for geometric reasoning

The Problems of Accuracy and Robustness in Geometric Computation

Computer

Algebraic methods for non-linear computational geometry (invited address)

SCG '88 Proceedings of the fourth annual symposium on Computational geometry

Examples of automatic theorem proving a real geometry

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation

On the completeness and conversion of ray representations of arbitrary solids

SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications

Complexity of the Wu-Ritt decomposition

PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation

Interactive constraint system for solid modeling objects

SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications

On geometric and topological reasoning in robotics

Annals of Mathematics and Artificial Intelligence

A Road Map To Solid Modeling

IEEE Transactions on Visualization and Computer Graphics

Automated Discovering and Proving for Geometric Inequalities

ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry

A hybrid approach to geometric constraint solving with graph analysis and reduction

Advances in Engineering Software

On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics