dblp.uni-trier.dewww.uni-trier.de

B. Kutzler Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1989
5EEB. 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
3EEB. 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

Coauthor Index

1K. Kusche [4]
2Franz Lichtenberger [1]
3H. Mayr [4]
4Sabine Stifter [2] [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)