References in zbMATH (referenced in 103 articles , 4 standard articles )

Showing results 81 to 100 of 103.
Sorted by year (citations)
  1. Hammer, R.; Neaga, M.; Ratz, D.: PASCAL-XSC. New concepts for scientific computation and numerical data processing (1993)
  2. Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar: Numerical toolbox for verified computing. Volume I: Basic numerical problems. Theory, algorithms, and Pascal-XSC programs (1993)
  3. Krämer, W.: A portable multiple-precision arithmetic and multiple-precision interval arithmetic with applications (1993)
  4. Krämer, Walter: Numerical computation of bounds for (\pi) (1993)
  5. Lohner, Rudolf J.: Interval arithmetic in staggered correction format (1993)
  6. Mayer, Günter; Pieper, Lars: A necessary and sufficient criterion to guarantee feasibility of the interval Gaussian algorithm for a class of matrices (1993)
  7. Allendörfer, U.; Shiriaev, D.: PASCAL--XSC. A portable development system (1992)
  8. Atanassova, Lidiya (ed.); Herzberger, Jürgen (ed.): Computer arithmetic and enclosure methods. Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991 (1992)
  9. Brezinski, C. (ed.); Kulisch, U. (ed.): Computational and applied mathematics, I. Algorithms and theory. Selected and revised papers from the IMACS 13th world congress, Dublin, Ireland, July 1991. Proceedings (1992)
  10. Cuyt, Annie; Verdonk, Brigitte: Multivariate rational data fitting: General data structure, maximal accuracy and object orientation (1992)
  11. Ermakov, Oleg B.: Two-sided method for solving system of ordinary differential equations with automatic determination of guaranteed estimates (1992)
  12. Geörg, Stefan: Typical numerical problems arising with the treatment of ill conditioned partial differential equations by the example of the MHD equations (1992)
  13. Hammer, Rolf: Maximally exact calculation of expressions of scalar products and highly exact evaluation of parts of programs (1992)
  14. Hammer, Rolf: PASCAL-XSC: From accurate expressions to the accurate evaluation of program parts (1992) ioport
  15. Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian: PASCAL-XSC. Language reference with examples. Transl. from German by G. F. Corliss et al (1992)
  16. Krämer, W.: Computation of interval bounds for elliptic integrals (1992)
  17. Ratz, Dietmar: An inclusion algorithm for global optimization in a portable PASCAL-XSC implementation (1992)
  18. Shiryaev, Dmitri: PASCAL-XSC. A portable programming system for scientific computations (1992)
  19. Hammer, R.; Neaga, M.; Ratz, D.; Shiryaev, D.: PASCAL-XSC: A new language for scientific computing (1991)
  20. Jüllig, H.-P.: Algorithms with result verification with (C++/2.0) (1991)