A Superexponential Lower Bound for Gröbner Bases and Church-Rosser Commutative Thue Systems

Published in: Inf. Control. (1986)

Keyphrases

lower bound
upper bound
image processing
expert systems
np hard
building blocks
database
optimal solution
management system
neural network
complex systems