The following pages link to INTLAB (Q16194):
Displaying 50 items.
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
- Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications (Q930708) (← links)
- Rigorous numerics for the Cahn-Hilliard equation on the unit square (Q949064) (← links)
- A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems (Q956687) (← links)
- Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties (Q967863) (← links)
- Higher-order discrete maximum principle for 1D diffusion-reaction problems (Q972314) (← links)
- An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions (Q980524) (← links)
- Computation of bounds for eigenvalues of structures with interval parameters (Q984291) (← links)
- Fast enclosure for solutions in underdetermined systems (Q989149) (← links)
- A framework for existence tests based on the topological degree and homotopy (Q1006842) (← links)
- Components identification based method for box constrained variational inequality problems with almost linear functions (Q1014895) (← links)
- Bounding the zeros of an interval equation (Q1029384) (← links)
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof (Q1032871) (← links)
- Central configurations of the five-body problem with equal masses (Q1038762) (← links)
- Fast and parallel interval arithmetic (Q1307245) (← links)
- Enclosing clusters of zeros of polynomials (Q1398713) (← links)
- Ten methods to bound multiple roots of polynomials (Q1398714) (← links)
- Reliable computation of frequency response plots for nonrational transfer functions to prescribed accuracy (Q1406008) (← links)
- Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains. (Q1410857) (← links)
- Solving obstacle problems with guaranteed accuracy. (Q1416447) (← links)
- Numerical verification of solutions for obstacle problems. (Q1421206) (← links)
- On the inclusion properties of interval multiplication: A diagrammatic study (Q1425210) (← links)
- On eigenvector bounds (Q1425212) (← links)
- Erratum to: ``A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations'' (Q1577443) (← links)
- Improvement of convergence of an iterative method for finding polynomial factors of analytic functions (Q1602809) (← links)
- A new subdivision strategy for range computations (Q1604714) (← links)
- Grand challenges and scientific standards in interval analysis (Q1611223) (← links)
- Sharpening the estimate of the stability constant in the maximum-norm of the Crank-Nicolson scheme for the one-dimensional heat equation (Q1612453) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Producing an interval extension of the King method (Q1643064) (← links)
- Rigorous continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← links)
- Shrink wrapping for Taylor models revisited (Q1656657) (← links)
- Arbitrarily tight \(\alpha \mathrm{BB}\) underestimators of general non-linear functions over sub-optimal domains (Q1668799) (← links)
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← links)
- Certificates of infeasibility via nonsmooth optimization (Q1675645) (← links)
- Fast verified computation for the matrix principal \(p\)th root (Q1675959) (← links)
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions (Q1683424) (← links)
- Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains (Q1684618) (← links)
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← links)
- Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations (Q1690908) (← links)
- Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator (Q1692088) (← links)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- The convergence conditions of interval Newton's method based on point estimates (Q1701491) (← links)
- Maximum electromagnetic drag configurations for a translating conducting cylinder with distant magnetic dipoles (Q1703633) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
- A proof of Jones' conjecture (Q1710557) (← links)
- Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation (Q1713151) (← links)
- Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
- A hybrid procedure for finding real points on a real algebraic set (Q1730309) (← links)
