Generalizing the Real Interval Arithmetic | Zendy

R. Callejas-Bedregal | Zendy; Benjamín Bedregal | Zendy; Regivan Santiago | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Generalizing the Real Interval Arithmetic

Author(s) -

R. Callejas-Bedregal,

Benjamín Bedregal,

Regivan Santiago

Publication year - 2002

Publication title -

tema (são carlos)

Language(s) - English

Resource type - Journals

eISSN - 2179-8451

pISSN - 1677-1966

DOI - 10.5540/tema.2002.03.01.0061

Subject(s) - arithmetic , interval arithmetic , interval (graph theory) , saturation arithmetic , computer science , mathematics , algorithm , combinatorics , arbitrary precision arithmetic , mathematical analysis , bounded function

In this work we propose a generalized real interval arithmetic. Since the real interval arithmetic is constructed from the real arithmetic, it is reasonable to extend it to intervals on any domain which has some algebraic structure, such as field, ring or group structure. This extension is based on the local equality theory of Santiago (11, 12) and on an interval constructor which mappes bistrongly consistently complete dcpos into bifinitely consistently complete dcpos.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research