Pages that link to "Item:Q2769532"
From MaRDI portal
The following pages link to NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532):
Displayed 50 items.
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582) (← links)
- Computational fixed-point theory for differential delay equations with multiple time lags (Q665977) (← links)
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain (Q730551) (← links)
- Some remarks on the behaviour of the finite element solution in nonsmooth domains (Q847399) (← links)
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
- An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- Numerical verification method for infinite dimensional eigenvalue problems (Q849194) (← links)
- Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator (Q896526) (← links)
- Interval versions of central-difference method for solving the Poisson equation in proper and directed interval arithmetic (Q902736) (← links)
- Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications (Q930708) (← links)
- Rigorous continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← links)
- Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains (Q1684618) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
- A numerical verification method for solutions of singularly perturbed problems with nonlinearity (Q1774296) (← links)
- The error term approximation in interval method of Crank-Nicolson type (Q1936753) (← links)
- Error analysis of Galerkin's method for semilinear equations (Q1952818) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem (Q2116294) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach (Q2136229) (← links)
- Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
- A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator (Q2217873) (← links)
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Some considerations of the invertibility verifications for linear elliptic operators (Q2352136) (← links)
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem (Q2352149) (← links)
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
- Periodic orbits in Hořava-Lifshitz cosmologies (Q2682409) (← links)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
- Numerical verification of positiveness for solutions to semilinear elliptic problems (Q3121396) (← links)
- On the<i>L</i><sup>2</sup><i>a Priori</i>Error Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator (Q3630405) (← links)
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← links)
- A Numerical Verification Method for a System of FitzHugh-Nagumo Type (Q4899071) (← links)
- Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- Numerical Verification Methods for Solutions of the Free Boundary Problem (Q5704525) (← links)
- Verified error bounds for multiple roots of systems of nonlinear equations (Q5962124) (← links)