Skip to main content
SpringerLink
Log in
Book cover

Reliable Implementation of Real Number Algorithms: Theory and Practice pp 28–43Cite as

Interval Subroutine Library Mission

  • Conference paper

  • 392 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5045))

Abstract

We propose the collection, standardization, and distribution of a full-featured, production quality library for reliable scientific computing with routines using interval techniques for use by the wide community of applications developers.

This work was supported in part by EPSRC Grant D033373/1.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Moore, R.E.: Methods and Applications of Interval Analysis. SIAM, Philadelphia (1979)

    MATH  Google Scholar 

  2. Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)

    MATH  Google Scholar 

  3. Fong, K., Jefferson, T., Suyehiro, T., Walton, L.: Guide to the SLATEC common mathematical library. Technical report (1990), netlib.org , http://www.netlib.org/slatec/

  4. Press, W.H., Flannery, B.P., Teukolsky, S.A., Vetterling, W.T.: Numerical Recipes in Fortran: The Art of Scientific Computing, 2nd edn. Cambridge University Press, Cambridge (1992); Also available for Fortran 90, C, and C++

    Google Scholar 

  5. Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical Recipes in C++: The Art of Scientific Computing, 2nd edn. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  6. GSL: GNU Scientific Library (1996 - June 2004), http://www.gnu.org/software/gsl/

  7. Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., Rauch, M.: C–XSC – A C++ Library for Extended Scientific Computing. Springer, Heidelberg (1993)

    Google Scholar 

  8. Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I — Basic Numerical Problems. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  9. Lerch, M., Tischler, G., von Gudenberg, J.W., Hofschuster, W., Krämer, W.: filib++, a fast interval library supporting containment computations. ACM Transactions on Mathematical Software 32(2) (2006)

    Google Scholar 

  10. Lerch, M., Tischler, G., Wolff von Gudenberg, J., Hofschuster, W., Krämer, W.: The interval library filib++ 2.0 - design, features and sample programs (preprint 2001/4), Universität Wuppertal, Wuppertal, Germany (2001)

    Google Scholar 

  11. Pryce, J.D., Corliss, G.F.: Interval arithmetic with containment sets. Computing 78(3), 251–276 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  12. Rump, S.M.: INTLAB interval toolbox, version 5.2 (1999–2006), http://www.ti3.tu-harburg.de/intlab.ps.gz

  13. Brönnimann, H., Melquiond, G., Pion, S.: A proposal to add interval arithmetic to the C++ standard library. Technical Report N1843-05-0103, CIS Department, Polytechnic University, New York, and Laboratoire de l’Informatique du Parallélisme, École Normale Supérieure de Lyon, and INRIA Sophia Antipolis (2005–2006)

    Google Scholar 

  14. Knüppel, O.: PROFIL/BIAS – A fast interval library. Computing 53(3–4), 277–287 (1994), http://www.ti3.tu-harburg.de/profil_e

    Article  MATH  MathSciNet  Google Scholar 

  15. Knüppel, O.: PROFIL/BIAS v 2.0. Bericht 99.1, Technische Universität Hamburg-Harburg, Harburg, Germany (1999)

    Google Scholar 

  16. Brönnimann, H., Melquiond, G., Pion, S.: The Boost interval arithmetic library (2006), http://www.cs.utep.edu/interval-comp/main.html

  17. Goualard, F.: Gaol, not just another interval library (2006), http://www.sourceforge.net/projects/gaol/

  18. Hofschuster, W.: C–XSC – A C++ Class Library web page (2004) http://www.math.uni-wuppertal.de/wrswt/xsc/cxsc.html

  19. Hofschuster, W., Krämer, W.: C–XSC 2.0: A C++ library for extended scientific computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Dagstuhl Seminar 2003. LNCS, vol. 2991, pp. 15–35. Springer, Heidelberg (2004)

    Google Scholar 

  20. Hofschuster, W., Krämer, W., Wedner, S., Wiethoff, A.: C–XSC 2.0: A C++ library for extended scientific computing. Preprint BUGHW–WRSWT 2001/1, Universität Wuppertal (2001)

    Google Scholar 

  21. Sun Microsystems.: C++ interval arithmetic programming reference (2004–2006) http://docs.sun.com/db/doc/806-7998

  22. Anderson, E., Bai, Z., Bischof, C., Blackford, S., Demmel, J., Dongarra, J., Du Croz, J., Greenbaum, A., Hammarling, S., McKenney, A., Sorensen, D.: LAPACK User’s Guide, 3rd edn. SIAM, Philadelphia (1999); Certain derivative work portions have been copyrighted by the Numerical Algorithms Group Ltd. http://www.netlib.org/lapack/ , http://www.nacse.org/demos/lapack/ .

    MATH  Google Scholar 

  23. Balay, S., Buschelman, K., Eijkhout, V., Gropp, W.D., Kaushik, D., Knepley, M.G., McInnes, L.C., Smith, B.F., Zhang, H.: PETSc users manual. Technical Report ANL-95/11 - Revision 2.1.5, Argonne National Laboratory (2004)

    Google Scholar 

  24. Balay, S., Buschelman, K., Gropp, W.D., Kaushik, D., Knepley, M.G., McInnes, L.C., Smith, B.F., Zhang, H.: PETSc Web page (2001), http://www.mcs.anl.gov/petsc

  25. Balay, S., Gropp, W.D., McInnes, L.C., Smith, B.F.: Efficient management of parallelism in object oriented numerical software libraries. In: Arge, E., Bruaset, A.M., Langtangen, H.P. (eds.) Modern Software Tools in Scientific Computing, pp. 163–202. Birkhäuser Press (1997)

    Google Scholar 

  26. Neumaier, A.: COCONUT Web page (2001-2003), http://www.mat.univie.ac.at/~neum/glopt/coconut

  27. Kreinovich, V.: Interval Computations (2006), http://www.cs.utep.edu/interval-comp/main.html

  28. Parnas, D.L.: Software Fundamentals: Collected Papers by David L. Parnas. Addison-Wesley, Reading (2001)

    Google Scholar 

  29. Knuth, D.E.: Literate programming. The Computer Journal 27(2), 97–111 (1984)

    Article  MATH  Google Scholar 

  30. LiterateProgramming: Literate Programming Web page (2000–2005), http://www.literateprogramming.com/

  31. Burke, E.M., Coyner, B.M.: Java Extreme Programming Cookbook. O’Reilly, Sebastopol (2003)

    Google Scholar 

  32. Beck, K.: Test-Driven Development: By Example. Addison-Wesley, Reading (2003)

    Google Scholar 

  33. Hull, T., Enright, W., Fellen, B., Sedgwick, A.: Comparing numerical methods for ordinary differential equations. SIAM J. Numer. Anal. 9, 603–637 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  34. Mazzia, F., Iavernaro, F., Magherini, C.: Test set for IVP solvers, release 2.2 (2003), http://pitagora.dm.uniba.it/~testset/

  35. Pryce, J.D.: A test package for Sturm-Liouville solvers. ACM Trans. Math. Software 25(1), 21–57 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  36. Pryce, J.D.: Algorithm 789: SLTSTPAK, a test package for Sturm-Liouville solvers. ACM Trans. Math. Software 25(1), 58–69 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  37. Corliss, G.F., Yu, J.: Testing COSY’s interval and Taylor model arithmetic. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) EDBT 2004. LNCS, vol. 2992, pp. 91–105. Springer, Heidelberg (2004)

    Google Scholar 

  38. Kirchner, R., Kulisch, U.W.: Hardware support for interval arithmetic. Reliable Computing 12(3), 225–237 (2006)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Marquette University,  

    George F. Corliss

  2. University of Louisiana at Lafayette,  

    R. Baker Kearfott

  3. McMaster University and Lawrence Livermore National Laboratory,  

    Ned Nedialkov

  4. Cranfield University, RMCS Shrivenham,  

    John D. Pryce

  5. McMaster University,  

    Spencer Smith

Authors
  1. George F. Corliss
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Baker Kearfott
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ned Nedialkov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John D. Pryce
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Spencer Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Peter Hertling Christoph M. Hoffmann Wolfram Luther Nathalie Revol

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Corliss, G.F., Kearfott, R.B., Nedialkov, N., Pryce, J.D., Smith, S. (2008). Interval Subroutine Library Mission. In: Hertling, P., Hoffmann, C.M., Luther, W., Revol, N. (eds) Reliable Implementation of Real Number Algorithms: Theory and Practice. Lecture Notes in Computer Science, vol 5045. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85521-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85521-7_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85520-0

  • Online ISBN: 978-3-540-85521-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation