The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Siegfried M. Rump: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Willard L. Miranker, M. Mascagni, Siegfried M. Rump
    Case Studies for Augmented Floating-Point. [Citation Graph (0, 0)][DBLP]
    Accurate Scientific Computations, 1985, pp:86-118 [Conf]
  2. Siegfried M. Rump
    New Results on Verified Inclusions. [Citation Graph (0, 0)][DBLP]
    Accurate Scientific Computations, 1985, pp:31-69 [Conf]
  3. Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
    05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. [Citation Graph (0, 0)][DBLP]
    Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005, pp:- [Conf]
  4. Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
    05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. [Citation Graph (0, 0)][DBLP]
    Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005, pp:- [Conf]
  5. Siegfried M. Rump
    Numerical Methods with Automatic Verification. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:318-319 [Conf]
  6. Siegfried M. Rump
    ACRITH - High Accuracy Arithmetic Subroutine Library. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:320-321 [Conf]
  7. Siegfried M. Rump
    Rechnervorführung, Pakete für Standardprobleme der Numerik. [Citation Graph (0, 0)][DBLP]
    Wissenschaftliches Rechnen und Programmiersprachen, 1982, pp:29-50 [Conf]
  8. Siegfried M. Rump
    Lösung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit. [Citation Graph (0, 0)][DBLP]
    Wissenschaftliches Rechnen und Programmiersprachen, 1982, pp:147-174 [Conf]
  9. Siegfried M. Rump
    Algebraic Computation, Numerical Computation and Verified Inclusions. [Citation Graph (0, 0)][DBLP]
    Trends in Computer Algebra, 1987, pp:177-197 [Conf]
  10. Siegfried M. Rump
    Accuracy Control and Estimation, Self-Validating Systems and Software Environments for Scientific Computation. [Citation Graph (0, 0)][DBLP]
    Programming Environments for High-Level Scientific Problem Solving, 1991, pp:49-56 [Conf]
  11. Siegfried M. Rump
    Solving Algebraic Problems with High Accuracy. [Citation Graph (0, 0)][DBLP]
    IMACS World Congress, 1982, pp:299-300 [Conf]
  12. Siegfried M. Rump
    Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems. [Citation Graph (0, 0)][DBLP]
    Computing, 1996, v:57, n:1, pp:77-84 [Journal]
  13. Siegfried M. Rump
    Sichere Ergebnisse auf Rechenanlagen. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1986, v:9, n:3, pp:174-183 [Journal]
  14. Siegfried M. Rump
    Zur Rückführung nicht mehr benötigten Speicherplatzes in PASCAL. [Citation Graph (0, 0)][DBLP]
    Elektronische Rechenanlagen, 1980, v:22, n:2, pp:55-62 [Journal]
  15. Siegfried M. Rump
    Notiz zur Genauigkeit der Arithmetik in Rechenanlagen. [Citation Graph (0, 0)][DBLP]
    Elektronische Rechenanlagen, 1980, v:22, n:5, pp:243-244 [Journal]
  16. Siegfried M. Rump
    Computer und Rechengenauigkeit. [Citation Graph (0, 0)][DBLP]
    Elektronische Rechenanlagen, 1982, v:24, n:6, pp:268-277 [Journal]
  17. Siegfried M. Rump
    Mathematik auf dem Rechner. [Citation Graph (0, 0)][DBLP]
    Elektronische Rechenanlagen, 1983, v:25, n:6, pp:126-132 [Journal]
  18. Siegfried M. Rump
    Expansion and estimation of the range of nonlinear functions. [Citation Graph (0, 0)][DBLP]
    Math. Comput., 1996, v:65, n:216, pp:1503-1512 [Journal]
  19. David Dennis, Vladik Kreinovich, Siegfried M. Rump
    Intervals and the Origins of Calculus. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1998, v:4, n:2, pp:191-197 [Journal]
  20. Siegfried M. Rump
    Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1997, v:3, n:1, pp:5-16 [Journal]
  21. Siegfried M. Rump
    A Note on Epsilon-Inflation. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1998, v:4, n:4, pp:371-375 [Journal]
  22. Vladik Kreinovich, Siegfried M. Rump
    Towards Optimal Use of Multi-Precision Arithmetic: A Remark. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2006, v:12, n:5, pp:365-369 [Journal]
  23. Dalcidio Moraes Claudio, Siegfried M. Rump
    Inclusion methods for real and complex functions in one variable. [Citation Graph (0, 0)][DBLP]
    RITA, 1995, v:2, n:1, pp:125-136 [Journal]

  24. Accurate and Reliable Computing in Floating-Point Arithmetic. [Citation Graph (, )][DBLP]


  25. Least significant bit evaluation of arithmetic expressions in single-precision. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002