63 search results - page 1 / 13 » Inverting Monotone Continuous Functions in Constructive Anal... |
CIE
2006
Springer
13 years 8 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
MST
2008
13 years 4 months ago
2008
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
TIP
2008
13 years 4 months ago
2008
The theories of signal sampling, filter banks, wavelets and "overcomplete wavelets" are well-established for the Euclidean spaces and are widely used in the processing a...
CIKM
2005
Springer
13 years 6 months ago
2005
Springer
Inverted index structures are the mainstay of modern text retrieval systems. They can be constructed quickly using off-line mergebased methods, and provide efficient support for ...
CCA
2009
Springer
13 years 11 months ago
2009
Springer
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an ...