scientific article; zbMATH DE number 1055003
From MaRDI portal
Publication:4350124
Cited in
(17)- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Multiple solutions for a semilinear boundary value problem: A computational multiplicity proof
- New solutions of the Gelfand problem
- Free and forced vibrations of trusses by Fourier decomposition, and homotopy methods for nonlinear matrix eigenvalue problems. I: Methods
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Guaranteed lower bounds for eigenvalues
- scientific article; zbMATH DE number 4192993 (Why is no real title available?)
- A hierarchical method for obtaining eigenvalue enclosures
- A reduced basis method for coercive equations with an exact solution certificate and spatio-parameter adaptivity: energy-norm and output error bounds
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
- Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: conforming approximations
- Computer-assisted enclosure methods for elliptic differential equations
- Computing the spectrum and pseudospectrum of infinite-volume operators from local patches
- The magnetic Laplacian on the disc for strong magnetic fields
- Computer-assisted proofs for semilinear elliptic boundary value problems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4350124)
