The following pages link to (Q4350124):
Displaying 15 items.
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof (Q1032871) (← links)
- Multiple solutions for a semilinear boundary value problem: A computational multiplicity proof (Q1593769) (← links)
- New solutions of the Gelfand problem (Q1614680) (← links)
- Free and forced vibrations of trusses by Fourier decomposition, and homotopy methods for nonlinear matrix eigenvalue problems. I: Methods (Q1856917) (← links)
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators (Q1860405) (← links)
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q2074125) (← links)
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam (Q2493092) (← links)
- Guaranteed lower bounds for eigenvalues (Q3189441) (← links)
- (Q3210793) (← links)
- A hierarchical method for obtaining eigenvalue enclosures (Q4501034) (← links)
- A Reduced Basis Method for Coercive Equations with an Exact Solution Certificate and Spatio-Parameter Adaptivity: Energy-Norm and Output Error Bounds (Q4603504) (← links)
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS (Q4787845) (← links)
- Guaranteed and Robust a Posteriori Bounds for Laplace Eigenvalues and Eigenvectors: Conforming Approximations (Q5359496) (← links)
- Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
