scientific article; zbMATH DE number 5938010

zbMath1231.65077MaRDI QIDQ5198996

Publication date: 11 August 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

interval analysis initial value problems automatic differentiation interval arithmetic interval Newton method validated numerics computer arithmetic Krawczyk's method

Mathematics Subject Classification ID

Set-valued functions (26E25) Interval and finite arithmetic (65G30) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) General methods in interval analysis (65G40) Algorithms with automatic result verification (65G20)

Related Items (95)

Arnold diffusion of charged particles in ABC magnetic fields ⋮ Certification for polynomial systems via square subsystems ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Microscopic patterns in the 2D phase-field-crystal model ⋮ Any three eigenvalues do not determine a triangle ⋮ Domain theoretic second-order Euler's method for solving initial value problems ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Global Melnikov theory in Hamiltonian systems with general time-dependent perturbations ⋮ An Algorithmic Approach to Lattices and Order in Dynamics ⋮ Construction of a spectrally stable self-similar blowup solution to the supercritical corotational harmonic map heat flow ⋮ A database of rigorous and high-precision periodic orbits of the Lorenz model ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation ⋮ Certifying numerical estimates of spectral gaps ⋮ Rigorous enclosures of rotation numbers by interval methods ⋮ First steps towards more numerical reproducibility ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ Spectra of Jacobi operators via connection coefficient matrices ⋮ Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Computing of B-series by automatic differentiation ⋮ Combinatorial-topological framework for the analysis of global dynamics ⋮ Rigorous computer-assisted application of KAM theory: a modern approach ⋮ High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps ⋮ Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature ⋮ Lower bounds on the Hausdorff dimension of some Julia sets ⋮ Variety of strange pseudohyperbolic attractors in three-dimensional generalized Hénon maps ⋮ Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd ⋮ Validated Root Enclosures for Interval Polynomials with Multiplicities ⋮ Recursive solution of initial value problems with temporal discretization ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs ⋮ Highest cusped waves for the Burgers-Hilbert equation ⋮ Probability bounds analysis for nonlinear population ecology models ⋮ Rigorous computation of linear response for intermittent maps ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Smooth self-similar imploding profiles to 3D compressible Euler ⋮ Certified Newton schemes for the evaluation of low-genus theta functions ⋮ Computing Semigroups with Error Control ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Extremizers and stability of the Betke-Weil inequality ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Rigorous uniform approximation of D-finite functions using Chebyshev expansions ⋮ EFFECTIVE CONSTRUCTION OF POINCARÉ-BENDIXSON REGIONS ⋮ Error bounds for sequential Monte Carlo samplers for multimodal distributions ⋮ Rigorous numerics for critical orbits in the quadratic family ⋮ From Bellman to Dijkstra: Set-Oriented Construction of Globally Optimal Controllers ⋮ Computation of Tight Enclosures for Laplacian Eigenvalues ⋮ Formally verified approximations of definite integrals ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches ⋮ Global stability for the 2-dimensional logistic map ⋮ Global Smooth Solutions for the Inviscid SQG Equation ⋮ A certificate-based approach to formally verified approximations ⋮ Torus knot choreographies in the n-body problem ⋮ Fixed points of a destabilized Kuramoto-Sivashinsky equation ⋮ Global stability for the three-dimensional logistic map ⋮ On the existence of symmetric bicircular central configurations of the \(3n\)-body problem ⋮ A counterexample to Payne's nodal line conjecture with few holes ⋮ Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ The Forthcoming IEEE Standard 1788 for Interval Arithmetic ⋮ Stable periodic orbits for the Mackey-Glass equation ⋮ Effective bounds for the measure of rotations ⋮ Computing Hypergeometric Functions Rigorously ⋮ Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos ⋮ Systematic computer assisted proofs of periodic orbits of Hamiltonian systems ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ Formally Verified Approximations of Definite Integrals ⋮ Solving Laplace Problems with Corner Singularities via Rational Functions ⋮ On the computability of the set of automorphisms of the unit square ⋮ Computer-assisted proofs in PDE: a survey ⋮ Rigorous verification of Hopf bifurcations in functional differential equations of mixed type ⋮ Numerical validation of blow-up solutions with quasi-homogeneous compactifications ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Arnold maps with noise: differentiability and non-monotonicity of the rotation number ⋮ Rigorous validation of stochastic transition paths ⋮ Homogenization of a \(2\)D two-component domain with an oscillating thick interface ⋮ Density of binary disc packings: playing with stoichiometry ⋮ Local stability implies global stability for the 2-dimensional Ricker map ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Uses Software

This page was built for publication: