A Theorem on Random Polynomials and Some Consequences in Average Complexity.

Felipe Cucker Marie-Françoise Roy

Published in: J. Symb. Comput. (1990)

Keyphrases

computational complexity
space complexity
web services
complexity measures
real time
data sets
artificial intelligence
computational cost
decision problems
interactive theorem proving