SEARCH

SEARCH BY CITATION

References

  • [1]
    Hammer, R.; Hocks, M.; Kulisch, U.; Ratz, D. : Numerical Toolbox for Verified Computing I - Basic Numerical Problems, Springer Verlag, Berlin, 1993.
  • [2]
    Hofschuster, W.; Krämer, W.; Wedner, S.; Wiethoff, A.: C-XSC 2.0 - A C++ Class Library for Extended Scientific Computing, Preprint, Universität Wuppertal, 2001/1.
  • [3]
    Klatte, R.; Kulisch, U.; Lawo, C.; Rauch, R.; Wiethoff, A.: C-XSC - A C++ Class Library for Extended Scientific Computing, Springer Verlag, Berlin, 1993.
  • [4]
    Klatte, R.; Kulisch, U.; Neaga, M.; Ratz, D.; Ullrich, Ch.: PASCAL-XSC - Language Reference With Examples, Springer Verlag, Berlin,1992.
  • [5]
    Kulisch, U.; Miranker, W. L.: Computer Arithmetic in Theory and Practice, Academic Press, New York, 1981.