 | 1989 |
|---|
| 5 |       | B. Kutzler:
Careful Algebraic Translations of Geometry Theorems.
ISSAC 1989: 254-263 |
| 1987 |
|---|
| 4 |  | K. Kusche,
B. Kutzler,
H. Mayr:
Implementation of a geometry theorem proving package in SCRATCHPAD II.
EUROCAL 1987: 246-257 |
| 1986 |
|---|
| 3 | | B. Kutzler,
Sabine Stifter:
A Geometry Theorem Prover Based on Buchberger's Algorithm.
CADE 1986: 693-694 |
| 2 | | B. Kutzler,
Sabine Stifter:
On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving.
J. Symb. Comput. 2(4): 389-397 (1986) |
| 1983 |
|---|
| 1 | | B. Kutzler,
Franz Lichtenberger:
Bibliography on Abstract Data Types, Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung"
Springer 1983 |
