Brouwer's fan theorem and unique existence in constructive analysis.

Josef Berger Hajime Ishihara

Published in: Math. Log. Q. (2005)

Keyphrases

fixed point theorem
wide range
video sequences
preprocessing
statistical analysis
automatic analysis
database
knowledge base
image processing
three dimensional
pattern recognition
data analysis
information technology
control system
probabilistic model