A simplified proof of the characterization theorem for Gröbner-bases.

Leo Bachmair Bruno Buchberger

Published in: SIGSAM Bull. (1980)

Keyphrases

numerically stable
interactive theorem proving
polynomial equations
methods in computer vision
theorem proving
von neumann
numerical stability
database
machine learning
multiscale
object recognition
theorem prover
bayesian networks
algebraic equations
case study
neural network
heavy traffic limit
databases