Session II.3 - Real-Number Complexity
Poster
Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis
Małgorzata Moczurad
Jagiellonian University, Poland - This email address is being protected from spambots. You need JavaScript enabled to view it.
We present an interval approach to real-number computations. In some aspects it is similar to existing ones. However, those aspects in which our attitude differs give it several advantages. First, we do not need any oracles; we carry out calculations in a way it is done in real-life practice (e.g. in computer assisted proofs in analysis). Second, the interval point of view allows us to consider various kinds of global information. Apparently, the latter has not been treated in the literature.
Joint work with Piotr Zgliczyński (Jagiellonian University, Poland).