The following pages link to (Q4321540):
Displayed 27 items.
- A framework of verified eigenvalue bounds for self-adjoint differential operators (Q669702) (← links)
- Any three eigenvalues do not determine a triangle (Q828329) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- Numerical verification method for infinite dimensional eigenvalue problems (Q849194) (← links)
- Certified error bounds for uncertain elliptic equations (Q930711) (← links)
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof (Q1032871) (← links)
- Bounds to eigenvalues of the Laplacian on L-shaped domain by variational methods (Q1034662) (← links)
- Bounds for the \(N\) lowest eigenvalues of fourth-order boundary value problems (Q1365537) (← links)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (Q1416464) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- New solutions of the Gelfand problem (Q1614680) (← links)
- Flux reconstructions in the Lehmann-Goerisch method for lower bounds on eigenvalues (Q1636818) (← links)
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators (Q1860405) (← links)
- Variational bounds to eigenvalues of selfadjoint eigenvalue problems with arbitrary spectrum (Q1891944) (← links)
- A numerically rigorous proof of curve veering in an eigenvalue problem for differential equations (Q1909649) (← links)
- A numerical existence proof of nodal lines for the first eigenfunction of the plate equation (Q1924928) (← links)
- A counterexample to Payne's nodal line conjecture with few holes (Q2246951) (← links)
- Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
- Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements (Q2452280) (← links)
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam (Q2493092) (← links)
- Curve Veering for the Parameter-dependent Clamped Plate (Q2803608) (← links)
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain (Q2974076) (← links)
- Spectral Approximation of Bounded Self-Adjoint Operators—A Short Survey (Q3449724) (← links)
- Computation of Tight Enclosures for Laplacian Eigenvalues (Q5132011) (← links)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)
- Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996) (← links)