Interval Analysis Without Intervals Paul Taylor 20 February 2006 Abstract We argue that Dedekind completeness and the Heine–Borel property should be seen as part of the “algebraic” structure of the real line, along - Upper bound theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	Interval Analysis Without Intervals Paul Taylor 20 February 2006 Abstract We argue that Dedekind completeness and the Heine–Borel property should be seen as part of the “algebraic” structure of the real line, along Add to Reading List Document Date: 2009-02-12 13:25:28 Open Document File Size: 314,70 KB Share Result on Facebook IndustryTerm communications applications / computing / theoretical and computational tool / conceptual applications / / Organization i.e. / R. They / / Person Alan Turing / Richard Dedekind / Dana Scott / Bill Lawvere / Abbas Edelat / Marshall Stone / Gerhard Gentzen / / Position Bishop / / ProgrammingLanguage C / Java / C++ / / Technology functional programming / Java / / SocialTag Order theory Real analysis Differential calculus Elementary mathematics Continuous function Dedekind cut Fundamental theorem of calculus Integral Least-upper-bound property Mathematical analysis

Interval Analysis Without Intervals Paul Taylor 20 February 2006 Abstract We argue that Dedekind completeness and the Heine–Borel property should be seen as part of the “algebraic” structure of the real line, alongAdd to Reading List