Skip to main content
SpringerLink
Log in

Interval Software, Libraries and Standards

  • Chapter
  • First Online:
Interval Methods for Solving Nonlinear Constraint Satisfaction, Optimization and Similar Problems

Part of the book series: Studies in Computational Intelligence ((SCI,volume 805))

  • 356 Accesses

Abstract

Throughout the years, several packages and programs have been developed for interval computations. One of the classical interval solvers is GlobSol, written by Ralph B. Kearfott in Fortran (GlobSol solver, 2015, https://interval.louisiana.edu/GlobSol/, [4]). Several papers describe the use of this solver (see, e.g., (Kearfott in Rigorous global search: continuous problems. Kluwer, Dordrecht, 1996, [28]) and the references therein).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. FILIB++ library (2011). http://www2.math.uni-wuppertal.de/wrswt/software/filib.html

  2. C++ eXtended Scientific Computing library (2015). http://www.xsc.de

  3. The C++ IEEE 1788 library (2015). https://github.com/nehmeier/libieeep1788

  4. GlobSol solver (2015). https://interval.louisiana.edu/GlobSol/

  5. ValidatedNumerics package (2016). https://github.com/JuliaIntervals/ValidatedNumerics.jl

  6. Boost C++ libraries (2017). http://www.boost.org/

  7. Boost Interval library (2017). http://www.boost.org/doc/libs/1_66_0/libs/numeric/interval/doc/interval.htm

  8. Gaol: NOT Just Another Interval Library (2017). https://sourceforge.net/projects/gaol/

  9. Interval and related software (2017). http://www.cs.utep.edu/interval-comp/intsoft.html

  10. IntLab. the Matlab/Octave toolbox for reliable computing (2017). http://www.ti3.tu-harburg.de/rump/intlab/

  11. Octave Interval library (2017). https://octave.sourceforge.io/interval/

  12. PROFIL/BIAS (2017). http://www.ti3.tuhh.de/keil/profil/index_e.html

  13. IBEX library (2018). http://www.ibex-lib.org/

  14. Alliot, J.M., Gotteland, J.B., Vanaret, C., Durand, N., Gianazza, D.: Implementing an interval computation library for OCaml on x86/amd64 architectures. In: OUD 2012, OCaml Users and Developers Workshop (2012)

    Google Scholar 

  15. Blomquist, F.: Staggered correction computations with enhanced accuracy and extremely wide exponent range. Reliab. Comput. 15(1), 26–35 (2011)

    Google Scholar 

  16. Bohlender, G., Kulisch, U.W.: Comments on fast and exact accumulation of products. In: PARA 2010 Proceedings. Lecture Notes in Computer Science, vol. 7134, pp. 148–156 (2012)

    Google Scholar 

  17. Collange, S., Flórez, J., Defour, D.: A GPU interval library based on Boost.Interval. In: 8th Conference on Real Numbers and Computers, pp. 61–71 (2008)

    Google Scholar 

  18. CXSC-MPI: MPI extension for the use of C-XSC in parallel environments (2015). http://www2.math.uni-wuppertal.de/~xsc/xsc/cxsc_software.html#cxsc_mpi

  19. Dąbrowski, R., Kubica, B.J.: Comparison of interval C/C++ libraries in global optimization. Prace Naukowe Politechniki Warszawskiej. Elektronika 169, 51–56 (2009)

    Google Scholar 

  20. Goualard, F.: Towards good C++ interval libraries: Tricks and traits. In: the 4th Asian Symposium on Computer Mathematics. Chiang Mai. Citeseer (2000)

    Google Scholar 

  21. Goualard, F.: Fast and correct SIMD algorithms for interval arithmetic. In: PARA 2008 Proceedings. Lecture Notes in Computer Science, vol. 6126/6127 (2010). (Accepted for publication)

    Google Scholar 

  22. Grimmer, M., Petras, K., Revol, N.: Multiple precision interval packages: comparing different approaches. Lecture Notes in Computer Science, pp. 64–90 (2004)

    Google Scholar 

  23. IEEE: 754-2008–IEEE standard for floating-point arithmetic (2008). http://ieeexplore.ieee.org/document/4610935/

  24. IEEE: 1788-2015–IEEE standard for interval arithmetic (2015). http://standards.ieee.org/findstds/standard/1788-2015.html

  25. Jankowska, M.A.: Remarks on algorithms implemented in some C++ libraries for floating-point conversions and interval arithmetic. In: PPAM 2009 Proceedings. Lecture Notes in Computer Science, vol. 6068, pp. 436–445 (2010)

    Google Scholar 

  26. Jaulin, L., Kieffer, M., Didrit, O., Walter, É.: Applied Interval Analysis. Springer, London (2001)

    Google Scholar 

  27. Kaucher, E.: Interval analysis in the extended interval space \(\mathbb{I} \mathbb{R}\). In: Fundamentals of Numerical Computation (Computer-Oriented Numerical Analysis), pp. 33–49. Springer (1980)

    Google Scholar 

  28. Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996)

    Google Scholar 

  29. Kirchner, R., Kulisch, U.W.: Hardware support for interval arithmetic. Reliab. Comput. 12(3), 225–237 (2006)

    Google Scholar 

  30. Kozikowski, G.: Implementation of an OpenCL library for automatic differentiation (in Polish). Bachelor’s thesis, ICCE WUT (2011). (under supervision of Bartłomiej J. Kubica)

    Google Scholar 

  31. Kozikowski, G., Kubica, B.J.: Interval arithmetic and automatic differentiation on GPU using OpenCL. In: PARA 2012 Proceedings. Lecture Notes in Computer Science, vol. 7782, pp. 483–503 (2013)

    Google Scholar 

  32. Kozikowski, G., Kubica, B.J.: Parallel approach to Monte Carlo simulation for option price sensitivities using the adjoint and interval analysis. In: PPAM 2013 Proceedings. Lecture Notes in Computer Science, vol. 8385, pp. 600–612 (2014)

    Google Scholar 

  33. Krämer, W., Zimmer, M., Hofschuster, W.: Using C-XSC for high performance verified computing. In: PARA 2010 Proceedings. Lecture Notes in Computer Science, vol. 7134, pp. 168–178 (2012)

    Google Scholar 

  34. Kubica, B.J.: Tuning the multithreaded interval method for solving underdetermined systems of nonlinear equations. In: PPAM 2011 (9th International Conference on Parallel Processing and Applied Mathematics) Proceedings. Lecture Notes in Computer Science, vol. 7204, pp. 467–476 (2012)

    Google Scholar 

  35. Kubica, B.J., Woźniak, A.: Tuning the interval algorithm for seeking Pareto sets of multi-criteria problems. In: PARA 2012 Proceedings. Lecture Notes in Computer Science, vol. 7782, pp. 504–517 (2013)

    Google Scholar 

  36. Kulisch, U.: An axiomatic approach to rounded computations. Numerische Mathematik 18(1), 1–17 (1971)

    Google Scholar 

  37. Kulisch, U.: Computer Arithmetic and Validity-Theory, Implementation and Applications. De Gruyter, Berlin, New York (2008)

    Google Scholar 

  38. Kulisch, U.: An axiomatic approach to computer arithmetic with an appendix on interval hardware. In: PPAM 2011 (9th International Conference on Parallel Processing and Applied Mathematics) Proceedings. Lecture Notes in Computer Science, vol. 7204, pp. 484–495 (2012)

    Google Scholar 

  39. Mascarenhas, W.F.: Moore: Interval arithmetic in C++20 (2018). https://arxiv.org/abs/1802.08558

  40. Pryce, J.: The forthcoming IEEE standard 1788 for interval arithmetic. In: SCAN 2014 Proceedings. Lecture Notes in Computer Science, vol. 9553, pp. 23–39 (2015)

    Google Scholar 

  41. Revol, N.: Introduction to the IEEE 1788-2015 standard for interval arithmetic. In: International Workshop on Numerical Software Verification, pp. 14–21. Springer (2017)

    Google Scholar 

  42. Revol, N., Théveny, P.: Parallel implementation of interval matrix multiplication. Reliab. Comput. 19(1), 91–106 (2013)

    Google Scholar 

  43. Rump, S.M.: Fast interval matrix multiplication. Numer. Algorithms 61(1), 1–34 (2012)

    Google Scholar 

  44. Žilinskas, J.: Comparison of packages for interval arithmetic. Informatica 16(1), 145–154 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Applied Informatics, Warsaw University of Life Sciences, Warsaw, Poland

    Bartłomiej Jacek Kubica

Authors
  1. Bartłomiej Jacek Kubica
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bartłomiej Jacek Kubica .

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Kubica, B.J. (2019). Interval Software, Libraries and Standards. In: Interval Methods for Solving Nonlinear Constraint Satisfaction, Optimization and Similar Problems. Studies in Computational Intelligence, vol 805. Springer, Cham. https://doi.org/10.1007/978-3-030-13795-3_8

Download citation

Publish with us

Policies and ethics

Search

Navigation