Michael Plum

Orcid: 0000-0001-6998-128X

According to our database1, Michael Plum authored at least 15 papers between 1990 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Eigenvalue Analysis of the Lax Operator for the One-Dimensional Cubic nonlinear Defocusing Schrödinger Equation.
SIAM J. Math. Anal., December, 2023

2020
Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems.
Acta Cybern., 2020

2018
Orbital Stability of Domain Walls in Coupled Gross-Pitaevskii Systems.
SIAM J. Math. Anal., 2018

2016
Spectral properties of an elliptic operator with double-contrast coefficients near a hyperplane.
Asymptot. Anal., 2016

2014
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces.
SIAM J. Numer. Anal., 2014

2009
Localized Modes of the Linear Periodic Schrödinger Operator with a Nonlocal Perturbation.
SIAM J. Math. Anal., 2009

2005
Enclosure for the Biharmonic Equation.
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005

05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005

05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs.
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005

2003
Optimal a priori estimates for interface problems.
Numerische Mathematik, 2003

Optimal investment for investors with state dependent income, and for insurers.
Finance Stochastics, 2003

2001
Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems.
Proceedings of the Symbolic Algebraic Methods and Verification Methods, 2001

1992
Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems.
Computing, 1992

1991
Computer-assisted existence proofs for two-point boundary value problems.
Computing, 1991

1990
A programmed algorithm for existence proofs for two-point boundary value problems.
Computing, 1990


  Loading...