DeepAI AI Chat
Log In Sign Up

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

by   Małgorzata Moczurad, et al.
Jagiellonian University

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 and impractical or non-realistic structures; 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.


page 1

page 2

page 3

page 4


Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations

We present a computer-assisted approach to prove the existence of Hopf b...

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis

We provide a computer-assisted approach to ensure that a given continuou...

Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps

This paper outlines an approach for proving existence of hyperbolic quas...

Advantages in Using a Stock Spring Selection Tool that Manages the Uncertainty of the Designer Requirements

This paper analyses the advantages of using a stock spring selection too...

Computer-assisted proofs of "Kariya's theorem" with computer algebra

We demonstrate computer-assisted proofs of "Kariya's theorem," a theorem...

A Point-free Perspective on Lax extensions and Predicate liftings

In this paper we have a fresh look at the connection between lax extensi...

Simpson's Paradox: A Singularity of Statistical and Inductive Inference

The occurrence of Simpson's paradox (SP) in 2× 2 contingency tables has ...