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)