Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy.

Bruno Buchberger

Published in: AISC (2004)

Keyphrases

computational complexity
search strategy
detection algorithm
mathematical theory
learning algorithm
image analysis
np hard
dynamic programming
expectation maximization
artificial intelligence
integrity constraints
computer vision
objective function
optimal solution
search space
k means