Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization.

Ulrich Kohlenbach

Published in: J. Symb. Log. (1992)

Keyphrases

statistical analysis
artificial intelligence
theorem proving
image segmentation
error bounds
upper bound
functional analysis
neural network
quantitative analysis
artificial neural networks
data analysis
objective function
multiscale
high level
image processing
decision making
search engine