Gröbner Bases - Theory Refinement in the Mizar System.

Christoph Schwarzweller

Published in: MKM (2005)

Keyphrases

numerically stable
theoretical framework
von neumann
databases
search algorithm
computational model
computer assisted
database
case study
image segmentation
multi agent
theoretical basis
methods in computer vision