Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis

Inspired by computer assisted proofs in analysis, we present an interval approach to real-number computations