B. Kutzler

Publication Activity (10 Years)

Years Active: 1986-1989
Publications (10 Years): 0

Publications

B. Kutzler
Careful Algebraic Translations of Geometry Theorems. ISSAC (1989)
K. Kusche, B. Kutzler, H. Mayr
Implementation of a geometry theorem proving package in SCRATCHPAD II. EUROCAL (1987)
B. Kutzler, Sabine Stifter
On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving. J. Symb. Comput. 2 (4) (1986)
B. Kutzler, Sabine Stifter
A Geometry Theorem Prover Based on Buchberger's Algorithm. CADE (1986)
B. Kutzler, Sabine Stifter
Automated geometry theorem proving using Buchberger's algorithm. SYMSAC (1986)