Cited in
(only showing first 100 items - show all)- Global optimization of interplanetary transfers with deep space maneuvers using differential algebra
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- Breaking the limits: The Taylor series method
- Application of high order expansions of two-point boundary value problems to astrodynamics
- Gravity assist space pruning based on differential algebra
- scientific article; zbMATH DE number 5619706 (Why is no real title available?)
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- Algorithm 852
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- scientific article; zbMATH DE number 992809 (Why is no real title available?)
- Uncertainty propagation or box propagation
- TaylUR, an arbitrary-order diagonal automatic differentiation package for Fortran 95
- Status of the differential transformation method
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- scientific article; zbMATH DE number 992811 (Why is no real title available?)
- ACETAF
- ADF95
- ADOL-F
- AUTO_DERIV
- C-XSC
- TaylUR
- ATESAT
- INTLAB
- Autodiff
- INTOPT_90
- FADBAD++
- ALIAS
- ValEncIA-IVP
- TADIFF
- Taylor center
- VERICOMP
- ADiMat
- Ariadne
- GlobSol
- TIDES
- BEAM189
- CAPD
- ATOMFT
- ValEncIA
- AERN
- Lurupa
- PLASMA
- MOBILE
- PSIDE
- SmartMobile
- NBODY4
- Taylor
- IbexOpt
- AD01
- DAFOR
- Diamant toolbox
- DAETS
- VNODE
- Rapsodia
- bvp4cAD
- ODEIntegrator
- iSat
- Coin3D
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- FluidProp
- ADiJaC
- PBLAS
- LySHA
- GRKLib
- Stabhyli
- HOAD_MathFun
- SystemModeler
- Deriva
- JAutoDiff
- OGOLEM
- Arbogast
- RODES
- DynIbex
- V-Clip
- Tulliotools
- Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients
- Acumen
- Computational complexity and feasibility of data processing and interval computations
- Bmad
- CAPD DynSys
- Higher-order automatic differentiation of mathematical functions
- Dealing with uncertainties in angles-only initial orbit determination
- \texttt{Arbogast}: higher order automatic differentiation for special functions with Modular C
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- ADiJaC -- Automatic Differentiation of Java Classfiles
- Validated solutions of initial value problems for parametric ODEs
- Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting
- 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
- Reliable computation of robust response tori on the verge of breakdown
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Analysis on the Levi-Civita field, a brief overview
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Analysis on the Levi-Civita field and computational applications
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Symbolic preconditioning with Taylor models: Some examples
- Simulation and optimization of the Tevatron accelerator
- Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems
- Efficient higher-order derivatives of the hypergeometric function
- Validated constraints solving --- practicalities, pitfalls, and new developments
This page was built for software: Cosy
