Strongly uniform bounds from semi-constructive proofs.

Philipp Gerhardy Ulrich Kohlenbach

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

lower bound
upper bound
upper and lower bounds
large deviations
lower and upper bounds
linear array
formal proof
worst case
theorem prover
decision procedures
tight bounds
genetic algorithm
artificial intelligence
search algorithm
average case
mathematical proofs