INTLIB

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: http://dl.acm.org/)

This software is also peer reviewed by journal TOMS.


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

Showing results 1 to 20 of 27.
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. Birgin, E. G.; Floudas, C. A.; Martínez, J. M.: Global minimization using an augmented Lagrangian method with variable lower-level constraints (2010)
  8. 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)
  9. Rump, Siegfried M.; Zimmermann, Paul; Boldo, Sylvie; Melquiond, Guillaume: Computing predecessor and successor in rounding to nearest (2009)
  10. Pryce, J. D.; Corliss, G. F.: Interval arithmetic with containment sets (2006)
  11. Revol, Nathalie; Rouillier, Fabrice: Motivations for an arbitrary precision interval arithmetic and the MPFI library (2005)
  12. Watanabe, Yoshitaka; Yamamoto, Nobito; Nakao, Mitsuhiro T.; Nishida, Takaaki: A numerical verification of nontrivial solutions for the heat convection problem (2004)
  13. Hofschuster, Werner; Krämer, Walter: Mathematical function software on the web -- are such codes useful for verification algorithms? (2000)
  14. Rump, Siegfried M.: Fast and parallel interval arithmetic (1999)
  15. Hu, Chengyi: Parallel solutions for large-scale general sparse nonlinear systems of equations. (1996) ioport
  16. Kearfott, R. Baker: Rigorous global search: continuous problems (1996)
  17. Kearfott, R. Baker: Algorithm 763: INTERVAL$\sb -$ARITHMETIC: A Fortran 90 module for an interval data type (1996)
  18. Kearfott, R. Baker: Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (1996)
  19. Schulte, Michael J.; Swartzlander, Earl E. jun.: Variable-precision, interval arithmetic coprocessors (1996)
  20. Hu, Chenyi; Sheldon, Joe; Kearfott, R. Baker; Yang, Qing: Optimizing INTBIS on the CRAY Y-MP (1995)

1 2 next