Michael Plum
发表
Dmitry Pelinovsky,
Andres Contreras,
Michael Plum,
2018,
SIAM J. Math. Anal..
Tomás Dohnal,
Wolfgang Reichel,
Michael Plum,
2008,
SIAM J. Math. Anal..
Bruno Buchberger,
Siegfried M. Rump,
Shin'ichi Oishi,
2006,
Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Bruno Buchberger,
Siegfried M. Rump,
Shin'ichi Oishi,
2005,
Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Michael Plum,
M. Plum,
1991,
Computing.
Johann Schröder,
Michael Plum,
Michael Göhlen,
1990,
Computing.
Christian Wieners,
Michael Plum,
Borbála Fazekas,
2005,
Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Michael Plum,
2001,
Symbolic Algebraic Methods and Verification Methods.
Michael Plum,
Andrii Khrabustovskyi,
M. Plum,
2014,
Asymptot. Anal..
Christian Wieners,
Michael Plum,
M. Plum,
2003,
Numerische Mathematik.
Michael Plum,
Kaori Nagatou,
2009
.
Bruno Buchberger,
Siegfried M. Rump,
Shin'ichi Oishi,
2005,
Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Christian Hipp,
Michael Plum,
C. Hipp,
2003,
Finance Stochastics.
Michael Plum,
M. Plum,
1993,
Computing.
Yoshitaka Watanabe,
Mitsuhiro T. Nakao,
Michael Plum,
2014,
SIAM J. Numer. Anal..