Improvements in cad-based quantifier elimination

Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation

Quantifier elimination for formulas constrained by quadratic equations

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

On a modular algorithm for computing GCDs of polynomials over algebraic number fields

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

Simplification of truth-invariant cylindrical algebraic decompositions

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

On geometric and topological reasoning in robotics

Annals of Mathematics and Artificial Intelligence

Heuristic search and pruning in polynomial constraints satisfaction

Annals of Mathematics and Artificial Intelligence

Testing Positiveness of Polynomials

Journal of Automated Reasoning

Analysis and optimization of inner products for mimetic finite difference methods on a triangular grid

Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special 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

Symbolic methods for the element preconditioning technique

SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation

Finding points on real solution components and applications to differential polynomial systems

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation