Michael Plum

18 papers Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Two-Stage Finite Element Approach for High-precision Guaranteed Lower Eigenvalue Bounds.
CoRR
Xuefeng Liu, Michael Plum
2024 J jnl
Stability of Black Solitons in Optical Systems with Intensity-Dependent Dispersion.
SIAM J. Math. Anal.
Dmitry E. Pelinovsky, Michael Plum
2023 J jnl
Eigenvalue Analysis of the Lax Operator for the One-Dimensional Cubic nonlinear Defocusing Schrödinger Equation.
SIAM J. Math. Anal.
Xian Liao, Michael Plum
2020 J jnl
Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems.
Acta Cybern.
Jonathan Wunderlich, Michael Plum
2018 J jnl
Orbital Stability of Domain Walls in Coupled Gross-Pitaevskii Systems.
SIAM J. Math. Anal.
Andres Contreras, Dmitry E. Pelinovsky, Michael Plum
2016 J jnl
Spectral properties of an elliptic operator with double-contrast coefficients near a hyperplane.
Asymptot. Anal.
Andrii Khrabustovskyi, Michael Plum
2014 J jnl
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces.
SIAM J. Numer. Anal.
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao
2009 J jnl
Localized Modes of the Linear Periodic Schrödinger Operator with a Nonlocal Perturbation.
SIAM J. Math. Anal.
Tomás Dohnal, Michael Plum, Wolfgang Reichel
2006 — ed.
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005
Algebraic and Numerical Algorithms and Computer-assisted Proofs
Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
2005 — conf
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Algebraic and Numerical Algorithms and Computer-assisted Proofs
Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
2005 — conf
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs.
Algebraic and Numerical Algorithms and Computer-assisted Proofs
Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
2005 — conf
Enclosure for the Biharmonic Equation.
Algebraic and Numerical Algorithms and Computer-assisted Proofs
Borbála Fazekas, Michael Plum, Christian Wieners
2003 J jnl
Optimal a priori estimates for interface problems.
Numerische Mathematik
Michael Plum, Christian Wieners
2003 J jnl
Optimal investment for investors with state dependent income, and for insurers.
Finance Stochastics
Christian Hipp, Michael Plum
2001 — ch.
Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems.
Symbolic Algebraic Methods and Verification Methods
Michael Plum
1992 J jnl
Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems.
Computing
Michael Plum
1991 J jnl
Computer-assisted existence proofs for two-point boundary value problems.
Computing
Michael Plum
1990 J jnl
A programmed algorithm for existence proofs for two-point boundary value problems.
Computing
Michael Göhlen, Michael Plum, Johann Schröder