Concepedia

Sabine Stifter

SS

Statistics

Publications

9

Citations

320

H-Index

9

Active since

1986

Affiliations

Johannes Kepler University of Linz(Current)

Sabine Stifter is an author at Johannes Kepler University of Linz specializing in mathematics, natural sciences, and computer science.

Publications per year

1986–1995

9

Publications

9

On the application of Buchberger's algorithm to automated geometry theorem proving

Bernhard Kutzler, Sabine Stifter · Journal of Symbolic Computation · 1986 · 92 citations

Computing, Computer Science, Mathematics +8

Automated geometry theorem proving using Buchberger's algorithm

Bernhard Kutzler, Sabine Stifter · 1986 · 60 citations

Natural Sciences, Computer Science, Mathematics +11

Advances in Robot Kinematics

Sabine Stifter, Jadran Lenarčič · 1991 · 55 citations

Engineering, Mechanical Engineering, Robotics Engineering +17

Simulation of NC machining based on the dexel model: A critical analysis

Sabine Stifter · The International Journal of Advanced Manufacturing Technology · 1995 · 32 citations

Engineering, Manufacturing Engineering, Mechanical Engineering +14

A generalization of reduction rings

Sabine Stifter · Journal of Symbolic Computation · 1987 · 24 citations

Natural Sciences, Computer Science, Mathematics +3

1–5 of 9