A Geometry Theorem Prover Based on Buchberger's Algorithm. - B. Kutzler; Sabine Stifter (CADE, 1986)

Automated geometry theorem proving using Buchberger's algorithm. - B. Kutzler; Sabine Stifter (SYMSAC, 1986)

On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving. - B. Kutzler; Sabine Stifter (J. Symb. Comput., 1986)

Collision of convex objects. - Bernhard Roider; Sabine Stifter (EUROCAL, 1987)

A Generalization of Reduction Rings. - Sabine Stifter (J. Symb. Comput., 1987)

A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D. - Sabine Stifter (ISSAC, 1988)

Predictions About Collision Free Paths from Intersection Tests. - Sabine Stifter (Workshop on Computational Geometry, 1991)

Visualization of algebraic solids and surfaces. - Sabine Stifter (Symposium on Solid Modeling and Applications, 1991)

An Axiomatic Approach to Voronoi-Diagrams in 3D. - Sabine Stifter (J. Comput. Syst. Sci., 1991)

Shortest Non-Synchronized Motions - Parallel Versions. - Sabine Stifter (ACPC, 1993)

Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases. - Sabine Stifter (ISSAC, 1993)

Algebraic methods for computing inverse kinematics. - Sabine Stifter (J. Intell. Robotic Syst., 1994)

Characterization of Contour Elements That Generate Abstract Voronoi Diagrams. - Sabine Stifter (Comput. Geom., 1997)

Optimal Collision Free Path Planning for Non-Synchronized Motions. - Sabine Stifter (J. Intell. Robotic Syst., 1997)