zbMath0838.65060MaRDI QIDQ4321540
Friedrich Goerisch, H. Behnke
Publication date: 23 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
New solutions of the Gelfand problem,
Any three eigenvalues do not determine a triangle,
Spectral Approximation of Bounded Self-Adjoint Operators—A Short Survey,
Variational bounds to eigenvalues of selfadjoint eigenvalue problems with arbitrary spectrum,
Flux reconstructions in the Lehmann-Goerisch method for lower bounds on eigenvalues,
Computer-assisted proofs for semilinear elliptic boundary value problems,
Numerical verification method for infinite dimensional eigenvalue problems,
Bounds for the \(N\) lowest eigenvalues of fourth-order boundary value problems,
A numerically rigorous proof of curve veering in an eigenvalue problem for differential equations,
A numerical existence proof of nodal lines for the first eigenfunction of the plate equation,
Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems,
A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain,
Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.,
Computation of Tight Enclosures for Laplacian Eigenvalues,
Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements,
Certified error bounds for uncertain elliptic equations,
A framework of verified eigenvalue bounds for self-adjoint differential operators,
A counterexample to Payne's nodal line conjecture with few holes,
An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems,
Computer-assisted enclosure methods for elliptic differential equations,
Numerical verifications for eigenvalues of second-order elliptic operators,
A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam,
Curve Veering for the Parameter-dependent Clamped Plate,
A uniqueness result for a semilinear elliptic problem: a computer-assisted proof,
Bounds to eigenvalues of the Laplacian on L-shaped domain by variational methods,
Interval analysis: Theory and applications,
Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators