B. Kutzler

According to our database, B. Kutzler authored at least 6 papers between 1983 and 1989.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

1989

Careful Algebraic Translations of Geometry Theorems.

B. Kutzler

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1987

Implementation of a geometry theorem proving package in SCRATCHPAD II.

K. Kusche, B. Kutzler, H. Mayr

Proceedings of the EUROCAL '87, 1987

1986

On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving.

B. Kutzler, Sabine Stifter

J. Symb. Comput., 1986

Automated geometry theorem proving using Buchberger's algorithm.

B. Kutzler, Sabine Stifter

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

A Geometry Theorem Prover Based on Buchberger's Algorithm.

B. Kutzler, Sabine Stifter

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1983

Bibliography on Abstract Data Types, Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung"

B. Kutzler, Franz Lichtenberger

Informatik-Fachberichte 68, Springer, ISBN: 3-540-12312-1, 1983