Concepedia

Bernhard Kutzler

BK

Statistics

Publications

5

Citations

305

H-Index

5

Active since

1986

Affiliations

Johannes Kepler University of Linz(Current)

Bernhard Kutzler is an author at Johannes Kepler University of Linz specializing in mathematics, computer science, and algorithms.

Publications per year

1986–2000

5

Publications

5

On the application of Buchberger's algorithm to automated geometry theorem proving

Bernhard Kutzler, Sabine Stifter · Journal of Symbolic Computation · 1986 · 92 citations

, , +8

Algebraic Methods for Geometric Reasoning

Bruno Buchberger, George E. Collins, Bernhard Kutzler · Annual Review of Computer Science · 1988 · 75 citations

, , +6

Automated geometry theorem proving using Buchberger's algorithm

Bernhard Kutzler, Sabine Stifter · 1986 · 60 citations

, , +11

The Algebraic Calculator as a Pedagogical Tool for Teaching Mathematics

Bernhard Kutzler · 2000 · 52 citations

, , +13

Indispensable Manual Calculation Skills in a CAS Environment.

Wilfried Herget, Helmut Heugl, Bernhard Kutzler et al. · The Knowledge Bank (The Ohio State University) · 2000 · 26 citations

, , +8

1–5 of 5