PASCAL-XSC

PASCAL-XSC: PASCAL for Extended Scientific Computing. The programming language PASCAL-XSC was developed to supply a powerful tool for the numerical solution of scientific problems based upon a properly defined and implemented computer arithmetic in the usual spaces of numerical computation.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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

Showing results 41 to 60 of 103.
Sorted by year (citations)
  1. Berlejung, Heinrich M. E.: Processing software metrics in an integrated development environment for Pascal-XSC (1996)
  2. Berner, Sonja: Parallel methods for verified global optimization practice and theory (1996)
  3. Diverio, Tiarajú A.; Fernandes, Úrsula A.; Claudio, Dalcidio M.: Errors in vector processing and the library libavi.a (1996)
  4. Kearfott, R. Baker: Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (1996)
  5. Klein, Wolfram: Comparisons of different automatic differentiation tools in circuit simulation (1996)
  6. Sakurai, T.; Petković, M. S.: On some simultaneous methods based on Weierstrass’ correction (1996)
  7. Schaefer, Mark J.: Verification of constrained minima (1996)
  8. Tibken, B.; Hofer, E. P.: Interval analysis as a tool for sensitivity analysis of a hemopoietic model (1996)
  9. Ullrich, Christian P.: Scientific programming language concepts (1996)
  10. Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar: C++ toolbox for verified computing I. Basic numerical problems. Theory, algorithms, and programs (1995)
  11. Heindl, Gerhard: Experiences with a method for enclosing solutions of systems of equations (1995)
  12. Korn, C. Falco: Extending LINPACK by verification routines for linear systems. (1995) ioport
  13. Mayer, Günter: Epsilon-inflation in verification algorithms (1995)
  14. Rump, Siegfried M.: Verified solution of large systems and global optimization problems (1995)
  15. Storck, Ulrike: Verified computation of repeatedly iterated singular integrals of gas kinetics (1995)
  16. Tibken, B.; Hofer, E. P.: Simulation of controlled uncertain nonlinear systems (1995)
  17. Alefeld, G.; Gienger, A.; Mayer, G.: Numerical validation for an inverse matrix eigenvalue problem (1994)
  18. Alefeld, Götz; Mayer, Günter: A computer aided existence and uniqueness proof for an inverse matrix eigenvalue problem (1994)
  19. Berlejung, H. M. E.: A test environment using symbolic program trace (1994)
  20. Bohlender, G.; Kersten, T.; Trier, R.: Implicit matrix multiplication with maximum accuracy on various transputer networks (1994)