Algorithm 737: INTLIB - a portable Fortran 77 interval standard-function library. INTLIB is meant to be a readily available, portable, exhaustively documented interval arithmetic library, written in standard Fortran 77. Its underlying philosophy is to provide a standard for interval operations to aid in efficiently transporting programs involving interval arithmetic. The model is the BLAS package, for basic linear algebra operations. The library is composed of elementary interval arithmetic routines, standard function routines for interval data and values, and utility routines. The library can be used with INTBIS (Algorithm 681), and a Fortran 90 module to use the library to define an interval data type is available from the first author. (Source:

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 29 articles , 1 standard article )

Showing results 1 to 20 of 29.
Sorted by year (citations)

1 2 next

  1. Rump, Siegfried M.: Mathematically rigorous global optimization in floating-point arithmetic (2018)
  2. Gentle, James E.: Matrix algebra. Theory, computations and applications in statistics (2017)
  3. Gonçalves, M. L. N.; Melo, J. G.; Prudente, L. F.: Augmented Lagrangian methods for nonlinear programming with possible infeasibility (2015)
  4. Birgin, E. G.; Martínez, J. M.; Prudente, L. F.: Augmented Lagrangians with possible infeasibility and finite termination for global nonlinear programming (2014)
  5. Rump, Siegfried M.: Accurate solution of dense linear systems. II: Algorithms using directed rounding (2013)
  6. Rump, Siegfried M.: Fast interval matrix multiplication (2012)
  7. Kearfott, Ralph Baker: Interval computations, rigour and non-rigour in deterministic continuous global optimization (2011)
  8. Birgin, E. G.; Floudas, C. A.; Martínez, J. M.: Global minimization using an augmented Lagrangian method with variable lower-level constraints (2010)
  9. Stradi-Granados, Benito A.; Haven, Emmanuel: The use of interval arithmetic in solving a non-linear rational expectation based multiperiod output-inflation process model: the case of the IN/GB method (2010)
  10. Rump, Siegfried M.; Zimmermann, Paul; Boldo, Sylvie; Melquiond, Guillaume: Computing predecessor and successor in rounding to nearest (2009)
  11. Pryce, J. D.; Corliss, G. F.: Interval arithmetic with containment sets (2006)
  12. Revol, Nathalie; Rouillier, Fabrice: Motivations for an arbitrary precision interval arithmetic and the MPFI library (2005)
  13. Watanabe, Yoshitaka; Yamamoto, Nobito; Nakao, Mitsuhiro T.; Nishida, Takaaki: A numerical verification of nontrivial solutions for the heat convection problem (2004)
  14. Hofschuster, Werner; Krämer, Walter: Mathematical function software on the web -- are such codes useful for verification algorithms? (2000)
  15. Rump, Siegfried M.: Fast and parallel interval arithmetic (1999)
  16. Hu, Chengyi: Parallel solutions for large-scale general sparse nonlinear systems of equations. (1996) ioport
  17. Kearfott, R. Baker: Rigorous global search: continuous problems (1996)
  18. Kearfott, R. Baker: Algorithm 763: INTERVAL(_ -)ARITHMETIC: A Fortran 90 module for an interval data type (1996)
  19. Kearfott, R. Baker: Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (1996)
  20. Schulte, Michael J.; Swartzlander, Earl E. jun.: Variable-precision, interval arithmetic coprocessors (1996)

1 2 next