|
Search the dblp DataBase
B. Kutzler:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- B. Kutzler, Sabine Stifter
A Geometry Theorem Prover Based on Buchberger's Algorithm. [Citation Graph (0, 0)][DBLP] CADE, 1986, pp:693-694 [Conf]
- K. Kusche, B. Kutzler, H. Mayr
Implementation of a geometry theorem proving package in SCRATCHPAD II. [Citation Graph (0, 0)][DBLP] EUROCAL, 1987, pp:246-257 [Conf]
- B. Kutzler
Careful Algebraic Translations of Geometry Theorems. [Citation Graph (0, 0)][DBLP] ISSAC, 1989, pp:254-263 [Conf]
- B. Kutzler, Sabine Stifter
On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1986, v:2, n:4, pp:389-397 [Journal]
Search in 0.001secs, Finished in 0.001secs
|