Cited in
(only showing first 100 items - show all)- Solution of third grade thin film flow using algorithmic differentiation
- Efficient and accurate computation of upper bounds of approximation errors
- Asteroid close encounters characterization using differential algebra: the case of apophis
- Verified High-Order Integration of DAEs and Higher-Order ODEs
- A new hybrid uncertainty optimization method for structures using orthogonal series expansion
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
- On Taylor Model Based Integration of ODEs
- Dynamic global optimization methods for determining guaranteed solutions in chemical engineering
- Bounded motion design in the Earth zonal problem using differential algebra based normal form methods
- Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem
- Error bounds for initial value problems by optimization
- scientific article; zbMATH DE number 5380247 (Why is no real title available?)
- Efficient evaluation of vapour-liquid equilibria from multi-parameter thermodynamic models using differential algebra
- Topological and algebraic structures on the ring of Fermat reals
- A new subdivision algorithm for the flow propagation using polynomial algebras
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Interval computations, rigour and non-rigour in deterministic continuous global optimization
- Interval analysis on directed acyclic graphs for global optimization
- Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization
- Deterministic global optimization for nonlinear model predictive control of hybrid dynamic systems
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Calculus in the ring of Fermat reals. I: Integral calculus
- Computing reachable sets of differential inclusions
- Computation and application of Taylor polynomials with interval remainder bounds
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
- An adaptive fast multipole method in Cartesian basis, enabled by algorithmic differentiation
- Solving set-valued constraint satisfaction problems
- Sensitivity computations in higher order continuation methods
- Shrink wrapping for Taylor models revisited
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- High order transfer maps for perturbed Keplerian motion
- Tools to detect structures in dynamical systems using jet transport
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- Using expression graphs in optimization algorithms
- Higher-order sensitivity analysis of finite element method by automatic differentiation
- Symplectic and self-consistent algorithms for particle accelerator simulation
- Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation
- Long-term density evolution through semi-analytical and differential algebra techniques
- Collisional \(N\)-body numerical integrator with applications to charged particle dynamics
- Picard iteration-based variable-order integrator with dense output employing algorithmic differentiation
- scientific article; zbMATH DE number 5353272 (Why is no real title available?)
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II
- On higher-order differentiation in nonlinear mechanics
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
- Muon \(g - 2\): a review
- An application of Taylor models to the Nakao method on ODEs
- On verified numerical computations in convex programming
- Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation
- Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters
- scientific article; zbMATH DE number 6982909 (Why is no real title available?)
- A validated real function calculus
- 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
- Numerical Software with Result Verification
- Numerical Software with Result Verification
- On non-Archimedean valued fields: a survey of algebraic, topological and metric structures, analysis and applications
- Symmetries and their applications in beam physics
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- Validation of transfer map calculation for electrostatic deflectors in the code \textit{COSY INFINITY}
- Amber
- 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
This page was built for software: Cosy
