swMATH7711MaRDI QIDQ19728FDOQ19728
Author name not available (Why is that?)
Official website: http://www.bt.pa.msu.edu/index_cosy.htm
Cited In (only showing first 100 items - show all)
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Reliable computation of robust response tori on the verge of breakdown
- Title not available (Why is that?)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Title not available (Why is that?)
- Breaking the limits: The Taylor series method
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
- Status of the differential transformation method
- ADiJaC -- Automatic Differentiation of Java Classfiles
- Algorithm 852
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Title not available (Why is that?)
- Analysis on the Levi-Civita field and computational applications
- Analysis on the Levi-Civita field, a brief overview
- Computational complexity and feasibility of data processing and interval computations
- Higher-order automatic differentiation of mathematical functions
- Dealing with uncertainties in angles-only initial orbit determination
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Application of high order expansions of two-point boundary value problems to astrodynamics
- Gravity assist space pruning based on differential algebra
- TaylUR
- INTLAB
- INTOPT_90
- FADBAD++
- ALIAS
- ValEncIA-IVP
- TADIFF
- Taylor center
- VERICOMP
- ADiMat
- Ariadne
- GlobSol
- TIDES
- BEAM189
- Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting
- Global optimization of interplanetary transfers with deep space maneuvers using differential algebra
- CAPD
- ATOMFT
- ValEncIA
- AERN
- Lurupa
- PLASMA
- MOBILE
- PSIDE
- SmartMobile
- NBODY4
- Taylor
- IbexOpt
- AD01
- DAFOR
- Diamant toolbox
- DAETS
- VNODE
- Rapsodia
- bvp4cAD
- Interval analysis on directed acyclic graphs for global optimization
- ODEIntegrator
- iSat
- Coin3D
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- FluidProp
- ADiJaC
- PBLAS
- LySHA
- GRKLib
- Stabhyli
- HOAD_MathFun
- SystemModeler
- Deriva
- JAutoDiff
- OGOLEM
- Arbogast
- RODES
- Uncertainty propagation or box propagation
- DynIbex
- V-Clip
- Tulliotools
- Acumen
- Bmad
- CAPD DynSys
- Efficient and accurate computation of upper bounds of approximation errors
- TaylUR, an arbitrary-order diagonal automatic differentiation package for Fortran 95
- Validated solutions of initial value problems for parametric ODEs
- Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients
- Symbolic preconditioning with Taylor models: Some examples
- \texttt{Arbogast}: higher order automatic differentiation for special functions with Modular C
- Validated constraints solving --- practicalities, pitfalls, and new developments
- On non-Archimedean valued fields: a survey of algebraic, topological and metric structures, analysis and applications
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- Simulation and optimization of the Tevatron accelerator
- Symmetries and their applications in beam physics
- Numerical Software with Result Verification
- Numerical Software with Result Verification
This page was built for software: Cosy
