Applications of Gro¨bner bases in non-linear computational geometry

Algebraic Geometry and Computer Vision: Polynomial Systems, Real andComplex Roots

Journal of Mathematical Imaging and Vision

Automated Discovering and Proving for Geometric Inequalities

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

Implicitization of Parametric Curves by Matrix Annihilation

International Journal of Computer Vision - Special Issue on Computational Vision at Brown University

Implicitization and parametrization of quadratic surfaces with one simple base point

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation

Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces

Journal of Symbolic Computation

An Open Automated Framework for Constraint Solver Extension: the SoleX Approach

Fundamenta Informaticae