`Collaborated with:`

B.Kutzler

`Talks about:`

algorithm (1) geometri (1) buchberg (1) theorem (1) prover (1) base (1)

## Person: Sabine Stifter

### DBLP: Stifter:Sabine

### Contributed to:

### Wrote 1 papers:

- CADE-1986-KutzlerS #algorithm #geometry #proving #theorem proving
- A Geometry Theorem Prover Based on Buchberger’s Algorithm (BK, SS), pp. 693–694.