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