A programmed algorithm for existence proofs for two-point boundary value problems. - Michael Göhlen; Michael Plum; Johann Schröder (Computing, 1990)

Computer-assisted existence proofs for two-point boundary value problems. - Michael Plum (Computing, 1991)

Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems. - Michael Plum (Computing, 1992)

Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems. - Michael Plum (Symbolic Algebraic Methods and Verification Methods, 2001)

Optimal investment for investors with state dependent income, and for insurers. - Christian Hipp; Michael Plum (Finance Stochastics, 2003)

Optimal a priori estimates for interface problems. - Michael Plum; Christian Wieners (Numerische Mathematik, 2003)

05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. - Bruno Buchberger; Christian Jansson; Shin'ichi Oishi; Michael Plum; Siegfried M. Rump (Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005)

05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. - Bruno Buchberger; Shin'ichi Oishi; Michael Plum; Siegfried M. Rump (Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005)

Enclosure for the Biharmonic Equation. - Borbála Fazekas; Michael Plum; Christian Wieners (Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005)

Localized Modes of the Linear Periodic Schrödinger Operator with a Nonlocal Perturbation. - Tomás Dohnal; Michael Plum; Wolfgang Reichel (SIAM J. Math. Anal., 2009)

Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces. - Yoshitaka Watanabe; Kaori Nagatou; Michael Plum; Mitsuhiro T. Nakao (SIAM J. Numer. Anal., 2014)

Spectral properties of an elliptic operator with double-contrast coefficients near a hyperplane. - Andrii Khrabustovskyi; Michael Plum (Asymptot. Anal., 2016)

Orbital Stability of Domain Walls in Coupled Gross-Pitaevskii Systems. - Andres Contreras; Dmitry E. Pelinovsky; Michael Plum (SIAM J. Math. Anal., 2018)

Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems. - Jonathan Wunderlich; Michael Plum (Acta Cybern., 2020)

Eigenvalue Analysis of the Lax Operator for the One-Dimensional Cubic nonlinear Defocusing Schrödinger Equation. - Xian Liao; Michael Plum (SIAM J. Math. Anal., 2023)

Stability of Black Solitons in Optical Systems with Intensity-Dependent Dispersion. - Dmitry E. Pelinovsky; Michael Plum (SIAM J. Math. Anal., 2024)