The following pages link to Cosy (Q19728):
Displaying 50 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- The parameterization method for invariant manifolds. From rigorous results to effective computations (Q266342) (← links)
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- Analysis on the Levi-Civita field and computational applications (Q299412) (← links)
- Higher-order automatic differentiation of mathematical functions (Q312014) (← links)
- Dealing with uncertainties in angles-only initial orbit determination (Q315251) (← links)
- Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters (Q332777) (← links)
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics (Q357174) (← links)
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations (Q361909) (← links)
- Uncertainty propagation or box propagation (Q409963) (← links)
- Solving set-valued constraint satisfaction problems (Q411438) (← links)
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (Q411447) (← links)
- Status of the differential transformation method (Q449462) (← links)
- Breaking the limits: The Taylor series method (Q548357) (← links)
- Rigorous and accurate enclosure of invariant manifolds on surfaces (Q618187) (← links)
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- Application of high order expansions of two-point boundary value problems to astrodynamics (Q642249) (← links)
- Gravity assist space pruning based on differential algebra (Q642330) (← links)
- Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization (Q642356) (← links)
- Asteroid close encounters characterization using differential algebra: the case of apophis (Q642362) (← links)
- TaylUR, an arbitrary-order diagonal automatic differentiation package for Fortran 95 (Q709883) (← links)
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← links)
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (Q739977) (← links)
- Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting (Q748258) (← links)
- High order transfer maps for perturbed Keplerian motion (Q748264) (← links)
- Tools to detect structures in dynamical systems using jet transport (Q748297) (← links)
- Interval analysis on directed acyclic graphs for global optimization (Q816066) (← links)
- Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem (Q828887) (← links)
- On verified numerical computations in convex programming (Q849186) (← links)
- An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
- Error bounds for initial value problems by optimization (Q889871) (← links)
- Calculus in the ring of Fermat reals. I: Integral calculus (Q904034) (← links)
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
- Computational complexity and feasibility of data processing and interval computations (Q1377914) (← links)
- Computation and application of Taylor polynomials with interval remainder bounds (Q1383759) (← links)
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
- Shrink wrapping for Taylor models revisited (Q1656657) (← links)
- Long-term density evolution through semi-analytical and differential algebra techniques (Q1680317) (← links)
- Picard iteration-based variable-order integrator with dense output employing algorithmic differentiation (Q1717573) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (Q1779571) (← links)
- Symbolic preconditioning with Taylor models: Some examples (Q1869602) (← links)
- Higher-order sensitivity analysis of finite element method by automatic differentiation (Q1898450) (← links)
- A validated real function calculus (Q1949769) (← links)
- Topological and algebraic structures on the ring of Fermat reals (Q1955875) (← links)
- Bounded motion design in the Earth zonal problem using differential algebra based normal form methods (Q2004685) (← links)
- Muon \(g - 2\): a review (Q2075567) (← links)
- Solution of third grade thin film flow using algorithmic differentiation (Q2186998) (← links)
- An adaptive fast multipole method in Cartesian basis, enabled by algorithmic differentiation (Q2207366) (← links)
- A new subdivision algorithm for the flow propagation using polynomial algebras (Q2207857) (← links)
