scientific article; zbMATH DE number 1055003
From MaRDI portal
Publication:4350124
Cited in
(15)- Free and forced vibrations of trusses by Fourier decomposition, and homotopy methods for nonlinear matrix eigenvalue problems. I: Methods
- Multiple solutions for a semilinear boundary value problem: A computational multiplicity proof
- Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: conforming approximations
- scientific article; zbMATH DE number 4192993 (Why is no real title available?)
- A reduced basis method for coercive equations with an exact solution certificate and spatio-parameter adaptivity: energy-norm and output error bounds
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- New solutions of the Gelfand problem
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
- Computer-assisted proofs for semilinear elliptic boundary value problems
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
- Computer-assisted enclosure methods for elliptic differential equations
- Guaranteed lower bounds for eigenvalues
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
- A hierarchical method for obtaining eigenvalue enclosures
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)