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 ...
As I work proofs with my Calculus and Higher Geometries students, I often run across the Greek symbol that, in math, means “there exists." This might show up, for example, in statements such as “there ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback