Siegfried M. Rump
发表
Wolfgang Mackens,
Siegfried M. Rump,
1996
.
Siegfried M. Rump,
Edgar Kaucher,
E. Kaucher,
1980,
Computing.
Siegfried M. Rump,
S. Rump,
1988
.
Claude-Pierre Jeannerod,
Siegfried M. Rump,
S. Rump,
2017,
Math. Comput..
Siegfried M. Rump,
S. Rump,
2013,
J. Comput. Appl. Math..
Siegfried M. Rump,
S. Rump,
1985,
European Conference on Computer Algebra.
Vladik Kreinovich,
Siegfried M. Rump,
David Dennis,
1998,
Reliab. Comput..
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2012,
J. Comput. Appl. Math..
Siegfried M. Rump,
Edgar Kaucher,
E. Kaucher,
1982,
Computing.
Siegfried M. Rump,
1987
.
Siegfried M. Rump,
Shin'ichi Oishi,
K.Ozaki K.Ozaki,
2007
.
Siegfried M. Rump,
S. Rump,
2020,
J. Comput. Appl. Math..
Siegfried M. Rump,
Shin'ichi Oishi,
Naoya Yamanaka,
2008,
Parallel Comput..
Siegfried M. Rump,
S. Rump,
2016,
ACM Trans. Math. Softw..
Siegfried M. Rump,
Ilias S. Kotsireas,
Chee Yap,
2015
.
Vladik Kreinovich,
Siegfried M. Rump,
2006,
Reliab. Comput..
Siegfried M. Rump,
1999,
SIAM Rev..
Siegfried M. Rump,
S. Rump,
1991,
Computing.
Siegfried M. Rump,
2010,
ICMS.
Siegfried M. Rump,
S. Rump,
2009,
SIAM J. Sci. Comput..
Siegfried M. Rump,
S. Rump,
1999
.
Siegfried M. Rump,
S. Rump,
1985,
European Conference on Computer Algebra.
Siegfried M. Rump,
S. Rump,
2012,
Numerical Algorithms.
Siegfried M. Rump,
S. Rump,
2018,
Optim. Methods Softw..
Siegfried M. Rump,
S. Rump,
2022
.
Siegfried M. Rump,
1980,
Elektron. Rechenanlagen.
Claude-Pierre Jeannerod,
Siegfried M. Rump,
2014,
SIAM J. Matrix Anal. Appl..
Siegfried M. Rump,
S. Rump,
2005
.
Siegfried M. Rump,
Marko Lange,
S. Rump,
2020,
ACM Trans. Math. Softw..
Siegfried M. Rump,
S. Rump,
1985,
Accurate Scientific Computations.
Siegfried M. Rump,
Shin'ichi Oishi,
S. Oishi,
2002,
Numerische Mathematik.
Siegfried M. Rump,
S. Rump,
1983,
IMACS World Congress.
Siegfried M. Rump,
2005,
Computing.
Siegfried M. Rump,
S. Rump,
2007
.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2011,
Numerical Algorithms.
Siegfried M. Rump,
S. Rump,
1988,
Trends in Computer Algebra.
Bruno Buchberger,
Siegfried M. Rump,
Shin'ichi Oishi,
2006,
Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Siegfried M. Rump,
S. Rump,
1998,
Reliab. Comput..
Siegfried M. Rump,
Shin'ichi Oishi,
Shinya Miyajima,
2010,
Reliab. Comput..
Siegfried M. Rump,
1982
.
Siegfried M. Rump,
Marko Lange,
2019,
Math. Comput..
Siegfried M. Rump,
S. Rump,
2003,
SIAM J. Matrix Anal. Appl..
Siegfried M. Rump,
S. Rump,
2014,
Reliab. Comput..
Claude-Pierre Jeannerod,
Siegfried M. Rump,
S. Rump,
2013,
SIAM J. Matrix Anal. Appl..
Bruno Buchberger,
Siegfried M. Rump,
Shin'ichi Oishi,
2005,
Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Siegfried M. Rump,
2015,
SIAM J. Matrix Anal. Appl..
Siegfried M. Rump,
1982,
Wissenschaftliches Rechnen und Programmiersprachen.
Siegfried M. Rump,
Shin'ichi Oishi,
Shin'ichi Oishi,
2013
.
Siegfried M. Rump,
Willard L. Miranker,
Ulrich W. Kulisch,
1981
.
Siegfried M. Rump,
1991,
Programming Environments for High-Level Scientific Problem Solving.
Siegfried M. Rump,
1982,
Wissenschaftliches Rechnen und Programmiersprachen.
Siegfried M. Rump,
Willard L. Miranker,
Michael Mascagni,
1985,
Accurate Scientific Computations.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2008
.
Erich Kaltofen,
Siegfried M. Rump,
Shin'ichi Oishi,
2009,
Computer-assisted proofs - tools, methods and applications.
Siegfried M. Rump,
Götz Alefeld,
Jiri Rohn,
2001,
Symbolic Algebraic Methods and Verification Methods.
Siegfried M. Rump,
Ilias S. Kotsireas,
Chee Yap,
2016
.
Siegfried M. Rump,
S. Rump,
2014,
Numerical Algorithms.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2005,
SIAM J. Sci. Comput..
Siegfried M. Rump,
Mitsuhiro T. Nakao,
Takeshi Ogita,
2021,
J. Comput. Appl. Math..
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2007
.
Siegfried M. Rump,
1996,
Math. Comput..
Siegfried M. Rump,
Shin'ichi Oishi,
Michael Plum,
2011
.
Siegfried M. Rump,
Willard L. Miranker,
Ulrich W. Kulisch,
1982
.
Siegfried M. Rump,
S. Rump,
1998,
SCAN.
Siegfried M. Rump,
Götz Alefeld,
Jiri Rohn,
2001
.
Siegfried M. Rump,
Ulrich W. Kulisch,
Christian P. Ullrich,
1987,
Computing.
Siegfried M. Rump,
S. Rump,
2010,
Acta Numerica.
Siegfried M. Rump,
Shin'ichi Oishi,
S. Oishi,
2020,
Nonlinear Theory and Its Applications IEICE.
Philippe Langlois,
Siegfried M. Rump,
2006
.
Erich Kaltofen,
Siegfried M. Rump,
Shin'ichi Oishi,
2009,
Computer-assisted proofs - tools, methods and applications.
Siegfried M. Rump,
1986,
Inform. Spektrum.
Siegfried M. Rump,
Walter Krämer,
Ulrich W. Kulisch,
1984
.
Klaus Weihrauch,
Siegfried M. Rump,
Martin Ziegler,
2018
.
Siegfried M. Rump,
尾崎 克久,
大石 進一,
2006
.
Siegfried M. Rump,
1985,
1985 IEEE 7th Symposium on Computer Arithmetic (ARITH).
Siegfried M. Rump,
1980,
Elektron. Rechenanlagen.
Siegfried M. Rump,
S. Rump,
2001,
IEEE Trans. Autom. Control..
Bruno Buchberger,
Siegfried M. Rump,
Shin'ichi Oishi,
2005,
Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Siegfried M. Rump,
1983
.
Siegfried M. Rump,
S. Rump,
2019,
2019 IEEE 26th Symposium on Computer Arithmetic (ARITH).
Siegfried M. Rump,
2001,
Symbolic Algebraic Methods and Verification Methods.
Siegfried M. Rump,
2010,
Acta Numerica.
Siegfried M. Rump,
Walter Krämer,
Willard L. Miranker,
1983
.
Philippe Langlois,
Siegfried M. Rump,
2005
.
Siegfried M. Rump,
1997,
Reliab. Comput..
Siegfried M. Rump,
1976,
SYMSAC '76.
Siegfried M. Rump,
Harald Böhm,
S. Rump,
1983,
Computing.
Siegfried M. Rump,
2012,
SIAM J. Matrix Anal. Appl..
Siegfried M. Rump,
Stef Graillat,
S. Graillat,
2010,
Numerical Algorithms.
Siegfried M. Rump,
S. M. Rump,
1980
.
Siegfried M. Rump,
Manuel Radons,
Manuel Radons,
2020,
Optimization Letters.
Siegfried M. Rump,
2005,
Accuracy and Reliability in Scientific Computing.
Siegfried M. Rump,
S. Rump,
2003,
SIAM J. Matrix Anal. Appl..
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2008,
SIAM J. Sci. Comput..
Siegfried M. Rump,
1977,
SIGS.
Siegfried M. Rump,
1982,
Elektron. Rechenanlagen.
Siegfried M. Rump,
Shin'ichi Oishi,
Tetsuo Nishi,
2013,
2013 European Conference on Circuit Theory and Design (ECCTD).
Siegfried M. Rump,
J. Hartmut Bleher,
A. E. Roeder,
1985,
1985 IEEE 7th Symposium on Computer Arithmetic (ARITH).
Siegfried M. Rump,
S. Rump,
1982,
Computing.
Siegfried M. Rump,
Ilias S. Kotsireas,
Chee Yap,
2015,
Lecture Notes in Computer Science.
Siegfried M. Rump,
Walter Krämer,
Ulrich W. Kulisch,
1983
.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2008,
SIAM J. Sci. Comput..
Siegfried M. Rump,
S. Rump,
1989,
Computing.
Siegfried M. Rump,
Svetoslav Markov,
Jean-Luc Lamotte,
2008
.
Siegfried M. Rump,
Dalcidio Moraes Claudio,
S. Rump,
1995,
International Conference on Robot Intelligence Technology and Applications.
Siegfried M. Rump,
K.Ozaki K.Ozaki,
Shin'ichi Oishi,
2005
.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2020,
J. Comput. Appl. Math..
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2008
.
Siegfried M. Rump,
S. M. Rump,
1983,
Elektron. Rechenanlagen.
Siegfried M. Rump,
Götz Alefeld,
Jiri Rohn,
2021
.
James H. Davenport,
Siegfried M. Rump,
Fritz Krückeberg,
2021
.
Siegfried M. Rump,
Volker Mehrmann,
Daniel B. Szyld,
2021
.
Siegfried M. Rump,
Shin'ichi Oishi,
2010
.
Siegfried M. Rump,
Takeshi Ogita,
S. Rump,
2007
.
Siegfried M. Rump,
S. Rump,
2003
.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2009
.
Siegfried M. Rump,
Shmuel Friedland,
Daniel Hershkowitz,
2005
.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2008
.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2009
.
Siegfried M. Rump,
S. Rump,
2015
.
Siegfried M. Rump,
1998
.
Siegfried M. Rump,
Florian Bünger,
S. Rump,
2017
.
Siegfried M. Rump,
Jens-Peter M. Zemke,
S. Rump,
2003
.
Siegfried M. Rump,
Shin'ichi Oishi,
Kouta Sekine,
2015
.
Siegfried M. Rump,
1991
.
Siegfried M. Rump,
S. Rump,
2009
.
Siegfried M. Rump,
1991
.
Siegfried M. Rump,
Takeshi Ogita,
Ichi Oishi,
2005
.
Siegfried M. Rump,
2003
.
Siegfried M. Rump,
Paul Zimmermann,
2007
.
Siegfried M. Rump,
S. Rump,
1985
.
Siegfried M. Rump,
S. Rump,
1997,
SIAM J. Matrix Anal. Appl..
Siegfried M. Rump,
Takeshi Ogita,
Takahisa Ohta,
2005
.
Siegfried M. Rump,
S. Rump,
2001
.
Siegfried M. Rump,
S. Rump,
2006
.
Siegfried M. Rump,
S. Rump,
1999
.
Siegfried M. Rump,
2012
.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2016
.
Siegfried M. Rump,
1997
.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2007
.
Siegfried M. Rump,
Shin'ichi Oishi,
Florian Bünger,
2016
.
Siegfried M. Rump,
Shin'ichi Oishi,
Takeshi Ogita,
2010
.
Siegfried M. Rump,
Shin'ichi Oishi,
Shinya Miyajima,
2007
.
Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
Siegfried M. Rump,
S. Rump,
2011
.
Siegfried M. Rump,
1990
.
Siegfried M. Rump,
Shin'ichi Oishi,
K.Ozaki K.Ozaki,
2007
.
Siegfried M. Rump,
S. Rump,
1984
.
Claude-Pierre Jeannerod,
Siegfried M. Rump,
Florian Bünger,
2016
.
Guillaume Melquiond,
Siegfried M. Rump,
Sylvie Boldo,
2009
.
Siegfried M. Rump,
S. Rump,
1987
.
Siegfried M. Rump,
2006
.