scientific article; zbMATH DE number 524105
From MaRDI portal
Publication:4284594
Recommendations
- scientific article; zbMATH DE number 3917609
- Publication:3471638
- Solving obstacle problems with guaranteed accuracy.
- scientific article; zbMATH DE number 4193007
- Publication:4945750
- scientific article; zbMATH DE number 3978314
- Consistency techniques in ordinary differential equations
- scientific article; zbMATH DE number 4187023
- scientific article; zbMATH DE number 5801086
- Interval methods for fixed-point problems
Cited in
(24)- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
- On the best constant in the error bound for the H₀^1-projection into piecewise polynomial spaces
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
- Numerical verification of solutions for nonlinear elliptic problems using an L^ residual method
- New solutions of the Gelfand problem
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications
- Numerical verifications for eigenvalues of second-order elliptic operators
- Orbital stability investigations for travelling waves in a nonlinearly supported beam
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- Fast interval matrix multiplication
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
- 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
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
- A numerical verification method for two-coupled elliptic partial differential equations
- Computer-assisted proofs for semilinear elliptic boundary value problems
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 Q4284594)
