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

Abstract

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

References in corpus (1)

• Computational complexity of solving polynomial differential equations over unbounded domains