Interval arithmetic with containment sets

DOI10.1007/s00607-006-0180-4zbMath1108.65043OpenAlexW2045375057MaRDI QIDQ858179

George F. Corliss, John D. Pryce

Publication date: 8 January 2007

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-006-0180-4

zbMATH Keywords

numerical examplesMatlab implementationinfinitydivision by zerovalidated computationInterval arithmeticcontainment set

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Related Items (7)

Computer-assisted verification of four interval arithmetic operators ⋮ Variants of the general interval power function ⋮ Extended interval Newton method based on the precise quotient set ⋮ A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems ⋮ Interval arithmetic over finitely many endpoints ⋮ Interval propagation and search on directed acyclic graphs for numerical constraint solving ⋮ A framework for interval-valued information system

Uses Software

• INTLIB
• Matlab
• INTLAB
• b4m
• filib++

Cites Work

• FILIB++, a fast interval library supporting containment computations
• Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
• Unnamed Item
• Unnamed Item

This page was built for publication: Interval arithmetic with containment sets