---
title: "INTLAB — INTerval LABoratory — paper by Rump (1999)"
description: "Rump presents INTLAB, a Matlab toolbox for interval arithmetic. Cited by 7 papers here. Among them: 1,131."
authors: ["Siegfried M. Rump"]
year: 1999
venue: "Developments in Reliable Computing (ed. T. Csendes), Kluwer, 77–104"
source: "https://www.tuhh.de/ti3/publications.shtml?author=rump"
licence: "author's copy — read only"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/rump-1999-intlab-interval-laboratory/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/rump-1999-intlab-interval-laboratory/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [1999](https://md.research.elamur.ai/free/en/papers/1999/) / INTLAB — INTerval LABoratory

# INTLAB — INTerval LABoratory

**Authors:** [Siegfried M. Rump](https://md.research.elamur.ai/free/en/authors/siegfried-m-rump/) · **Year:** 1999 · **Venue:** Developments in Reliable Computing (ed. T. Csendes), Kluwer, 77–104 · **Licence:** author's copy — read only

**Links:** [Publisher's page](https://doi.org/10.1007/978-94-017-1247-7_7) · [PDF](https://www.tuhh.de/ti3/paper/rump/Ru99a.pdf) · [OpenAlex](https://openalex.org/W178772886)

**Citations:** 1,131 citations (OpenAlex, 2026-10-14) · [7](https://md.research.elamur.ai/free/en/papers/rump-1999-intlab-interval-laboratory/cited-by/) in our library, of the 149,439 papers whose bibliographies we read

## Summary
Rump presents INTLAB, a Matlab toolbox for interval arithmetic. It addresses a long-standing tension in verified numerics: guaranteed computation tends to be slow, hard to port, or awkward to program. The design rests on two ideas. First, interval operations are recast so that they rely only on BLAS matrix routines. Hardware vendors heavily optimise BLAS, so the same code runs fast on many machines. Second, Matlab serves as an interactive front end, so verification algorithms read almost like published pseudo-code. Interpretation overhead is avoided by working with whole matrices rather than loops.

The only component not written in Matlab is a small routine that switches IEEE 754 rounding modes. Everything else, including rigorous I/O, standard functions, gradients, slopes and multiple precision, is Matlab code. Timing tests on machines from PCs to parallel computers show verified matrix and linear-system computations running in the same order of time as plain floating-point code. For nonlinear problems, the cost of evaluating the user's function dominates. The toolbox thus makes fast prototyping of validated algorithms practical.

## Key points
- **Rounding-mode switching:** The toolbox assumes IEEE 754 arithmetic with a persistent rounding switch, `setround(i)` with i ∈ {−1, 0, 1}. It is described as the first interval library built on BLAS, and it is distributed as freeware.
- **Point × interval matrix products:** Several variants are compared.
  - A. Neumaier's sign-split method, proposed at SCAN 98, needs four floating-point matrix products.
  - S. Oishi's midpoint/radius conversion needs three.
  - For tiny radii, the ratio of result radii ranged from 0.48 to 1.87. For linear systems up to dimension 500, results agreed to within less than 0.01% of the radius, so the faster midpoint/radius variant is recommended.
- **Nonlinear system solver:** `verifynlss` combines a floating-point Newton phase with a modified Krawczyk operator, epsilon inflation and automatic differentiation.
- **Abbott–Brent test problem:** On the discretised boundary-value problem, `verifynlss` took 5.4 s for n = 50, 8.5 s for n = 100 and 20.3 s for n = 200.
- **Profiling results (n = 200):**
  - Most of the time is spent evaluating the function.
  - More than half goes to refining the poor starting guess.
  - Inverting the tridiagonal 200 × 200 Jacobian takes only about 1% of the time.

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

## Institutions

- [Hamburg University of Technology](https://md.research.elamur.ai/free/en/universities/hamburg-university-of-technology/) — University, Hamburg, Germany · 3 works · 2,676 citations

📚 Shelves (4): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 19,503 works · [➗ Mathematics](https://md.research.elamur.ai/free/en/shelves/mathematics/) · 233 works · [🧮 Computational Theory and Mathematics](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · 496 works · [➗ Modeling and Simulation](https://md.research.elamur.ai/free/en/shelves/mathematics/modeling-and-simulation/) · 12 works

## Cite

Cite as: Siegfried M. Rump. 1999. INTLAB — INTerval LABoratory. Developments in Reliable Computing (ed. T. Csendes), Kluwer, 77–104.

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@inproceedings{rump1999intlab,
  title = {{INTLAB — INTerval LABoratory}},
  author = {Siegfried M. Rump},
  booktitle = {Developments in Reliable Computing (ed. T. Csendes), Kluwer, 77–104},
  year = {1999},
  doi = {10.1007/978-94-017-1247-7\_7},
  url = {https://doi.org/10.1007/978-94-017-1247-7_7}
}
```

- [← previous Probabilistic Latent Semantic Analysis](https://md.research.elamur.ai/free/en/papers/hofmann-1999-probabilistic-latent-semantic-analysis/)
- [next → Unsupervised Models for Named Entity Classification](https://md.research.elamur.ai/free/en/papers/collins-1999-unsupervised-models-named-entity-classification/)
- [↑ back to papers of 1999](https://md.research.elamur.ai/free/en/papers/1999/)

*Updated 3 November 2026*