The following pages link to (Q4284594):
Displaying 24 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces (Q1266108) (← links)
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations (Q1298533) (← links)
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points (Q1370920) (← links)
- Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method (Q1378621) (← links)
- New solutions of the Gelfand problem (Q1614680) (← links)
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators (Q1860405) (← links)
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) (← links)
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
- Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
- Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam (Q2493092) (← links)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← 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)
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data (Q5944173) (← links)
