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 24 articles , 1 standard article )

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

1 2 next

  1. Gentle, James E.: Matrix algebra. Theory, computations and applications in statistics (2017)
  2. Gonçalves, M.L.N.; Melo, J.G.; Prudente, L.F.: Augmented Lagrangian methods for nonlinear programming with possible infeasibility (2015)
  3. Birgin, E.G.; Martínez, J.M.; Prudente, L.F.: Augmented Lagrangians with possible infeasibility and finite termination for global nonlinear programming (2014)
  4. Rump, Siegfried M.: Accurate solution of dense linear systems. II: Algorithms using directed rounding (2013)
  5. Birgin, E.G.; Floudas, C.A.; Martínez, J.M.: Global minimization using an augmented Lagrangian method with variable lower-level constraints (2010)
  6. 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)
  7. Rump, Siegfried M.; Zimmermann, Paul; Boldo, Sylvie; Melquiond, Guillaume: Computing predecessor and successor in rounding to nearest (2009)
  8. Pryce, J.D.; Corliss, G.F.: Interval arithmetic with containment sets (2006)
  9. Revol, Nathalie; Rouillier, Fabrice: Motivations for an arbitrary precision interval arithmetic and the MPFI library (2005)
  10. Watanabe, Yoshitaka; Yamamoto, Nobito; Nakao, Mitsuhiro T.; Nishida, Takaaki: A numerical verification of nontrivial solutions for the heat convection problem (2004)
  11. Hofschuster, Werner; Krämer, Walter: Mathematical function software on the web -- are such codes useful for verification algorithms? (2000)
  12. Rump, Siegfried M.: Fast and parallel interval arithmetic (1999)
  13. Kearfott, R.Baker: Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (1996)
  14. Kearfott, R.Baker: Algorithm 763: INTERVAL$\sb -$ARITHMETIC: A Fortran 90 module for an interval data type (1996)
  15. Kearfott, R.Baker: Rigorous global search: continuous problems (1996)
  16. Schulte, Michael J.; Swartzlander, Earl E.jun.: Variable-precision, interval arithmetic coprocessors (1996)
  17. Hu, Chenyi; Sheldon, Joe; Kearfott, R.Baker; Yang, Qing: Optimizing INTBIS on the CRAY Y-MP (1995)
  18. Kearfott, R.B.: A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization (1995)
  19. Maranas, Costas D.; Floudas, Christodoulos A.: Finding all solutions of nonlinearly constrained systems of equations (1995)
  20. Kearfott, R.B.; Dawande, M.; Hu, C.: Algorithm 737: INTLIB: A portable Fortran 77 interval standard-function library (1994)

1 2 next