Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis
Logic in Computer Science
2018-04-16 v3 Computational Complexity
Abstract
Inspired by computer assisted proofs in analysis, we present an interval approach to real-number computations.
Cite
@article{arxiv.1711.04184,
title = {Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis},
author = {Małgorzata Moczurad and Piotr Zgliczyński},
journal= {arXiv preprint arXiv:1711.04184},
year = {2018}
}