Sabine Stifter - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

1997

Characterization of Contour Elements That Generate Abstract Voronoi DiagramsSabine Stifter. comgeo, 7:245-262, 1997.

Optimal Collision Free Path Planning for Non-Synchronized MotionsSabine Stifter. jirs, 19(2):187-205, 1997. [doi]

1994

Algebraic methods for computing inverse kinematicsSabine Stifter. jirs, 11(1-2):79-89, 1994. [doi]

1993

Shortest Non-Synchronized Motions - Parallel VersionsSabine Stifter. acpc 1993: 87-104

Geometry Theorem Proving in Vector Spaces by Means of Gröbner BasesSabine Stifter. issac 1993: 301-310 [doi]

1991

Predictions About Collision Free Paths from Intersection TestsSabine Stifter. cga 1991: 309-320

Visualization of algebraic solids and surfacesSabine Stifter. wm 1991: 539 [doi]

An Axiomatic Approach to Voronoi-Diagrams in 3DSabine Stifter. jcss, 43(2):361-379, 1991.

1988

A Generalization of the Roider Method to Solve the Robot Collision Problem in 3DSabine Stifter. issac 1989: 332-343

1987

Collision of convex objectsBernhard Roider, Sabine Stifter. eurocal 1989: 258-259

A Generalization of Reduction RingsSabine Stifter. JSC, 4(3):351-364, 1987.

1986

On the Application of Buchberger s Algorithm to Automated Geometry Theorem ProvingB. Kutzler, Sabine Stifter. JSC, 2(4):389-397, 1986.

A Geometry Theorem Prover Based on Buchberger s AlgorithmB. Kutzler, Sabine Stifter. cade 1986: 693-694

Automated geometry theorem proving using Buchberger's algorithmB. Kutzler, Sabine Stifter. issac 1986: 209-214 [doi]

Sign in or sign up to see more results.

runs on WebDSL