SIAM Journal on Numerical Analysis, Vol. 43, No. 3 (2006), pp. 1348-1361 (14 pages) We show how interval arithmetic can be used in connection with Borsuk's theorem to computationally prove the ...
The most important example of an integration space in the constructive measure theory of Bishop and Cheng is the couple (X, μ), where X is a locally compact metric space and μ is a nonnegative linear ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback