The following pages link to (Q5198996):
Displaying 50 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- A database of rigorous and high-precision periodic orbits of the Lorenz model (Q312809) (← links)
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation (Q321574) (← links)
- Rigorous enclosures of rotation numbers by interval methods (Q333777) (← links)
- Computing of B-series by automatic differentiation (Q379767) (← links)
- Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches (Q476597) (← links)
- Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
- Numerical validation of blow-up solutions with quasi-homogeneous compactifications (Q777511) (← links)
- Arnold maps with noise: differentiability and non-monotonicity of the rotation number (Q781839) (← links)
- Certification for polynomial systems via square subsystems (Q820969) (← links)
- Any three eigenvalues do not determine a triangle (Q828329) (← links)
- Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
- Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Global Melnikov theory in Hamiltonian systems with general time-dependent perturbations (Q1631292) (← links)
- Certifying numerical estimates of spectral gaps (Q1647864) (← links)
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← links)
- Rigorous computer-assisted application of KAM theory: a modern approach (Q1683736) (← links)
- Variety of strange pseudohyperbolic attractors in three-dimensional generalized Hénon maps (Q1686687) (← links)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- Error bounds for sequential Monte Carlo samplers for multimodal distributions (Q1715531) (← links)
- Formally verified approximations of definite integrals (Q1722649) (← links)
- Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Stable periodic orbits for the Mackey-Glass equation (Q2040114) (← links)
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- On the computability of the set of automorphisms of the unit square (Q2072068) (← links)
- Rigorous verification of Hopf bifurcations in functional differential equations of mixed type (Q2077832) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- Homogenization of a \(2\)D two-component domain with an oscillating thick interface (Q2099352) (← links)
- Density of binary disc packings: playing with stoichiometry (Q2102691) (← links)
- Domain theoretic second-order Euler's method for solving initial value problems (Q2133471) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds (Q2134139) (← links)
- On the existence of symmetric bicircular central configurations of the \(3n\)-body problem (Q2239301) (← links)
- A counterexample to Payne's nodal line conjecture with few holes (Q2246951) (← links)
- Systematic computer assisted proofs of periodic orbits of Hamiltonian systems (Q2300177) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Arnold diffusion of charged particles in ABC magnetic fields (Q2359417) (← links)
- Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation (Q2407127) (← links)
- Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
- Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model (Q2513915) (← links)
- Spectra of Jacobi operators via connection coefficient matrices (Q2662845) (← links)
