Markus Neher
发表
Markus Neher,
M. Neher,
1994,
Computing.
Markus Neher,
Ingo Eble,
M. Neher,
2001,
TOMS.
Markus Neher,
2001,
Computing.
Markus Neher,
2010,
ICMS.
Markus Neher,
M. Neher,
2004,
Numerical Algorithms.
Markus Neher,
2008,
Numerical Validation in Current Hardware Architectures.
Markus Neher,
M. Neher,
2007,
TOMS.
Markus Neher,
M. Neher,
2007,
Appl. Math. Comput..
Markus Neher,
2007,
Appl. Math. Comput..
Markus Neher,
Ingo Eble,
2004
.
Walter Krämer,
Markus Neher,
Werner Hofschuster,
2009,
Numerical Validation in Current Hardware Architectures.
Markus Neher,
M. Neher,
2001,
Symbolic Algebraic Methods and Verification Methods.
Shin'ichi Oishi,
R. Baker Kearfott,
Fabien Rico,
2004,
Numerical Software with Result Verification.
Markus Neher,
M. Neher,
1998,
J. Univers. Comput. Sci..
Nedialko S. Nedialkov,
Kenneth R. Jackson,
Markus Neher,
2007,
SIAM J. Numer. Anal..
Markus Neher,
2001
.
Markus Neher,
1996
.
Markus Neher,
2006
.
Markus Neher,
M. Neher,
1999
.