Cosy
From MaRDI portal
Cited in
(only showing first 100 items - show all)- ACETAF
- ADF95
- ADOL-F
- AUTO_DERIV
- C-XSC
- TaylUR
- Computational complexity and feasibility of data processing and interval computations
- Computation and application of Taylor polynomials with interval remainder bounds
- ATESAT
- INTLAB
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Autodiff
- Shrink wrapping for Taylor models revisited
- Long-term density evolution through semi-analytical and differential algebra techniques
- INTOPT_90
- ValEncIA-IVP
- FADBAD++
- TADIFF
- Picard iteration-based variable-order integrator with dense output employing algorithmic differentiation
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- ALIAS
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- Taylor center
- VERICOMP
- Symbolic preconditioning with Taylor models: Some examples
- ADiMat
- TIDES
- Ariadne
- GlobSol
- Higher-order sensitivity analysis of finite element method by automatic differentiation
- BEAM189
- A validated real function calculus
- Topological and algebraic structures on the ring of Fermat reals
- CAPD
- Bounded motion design in the Earth zonal problem using differential algebra based normal form methods
- ValEncIA
- Muon \(g - 2\): a review
- ATOMFT
- AERN
- Solution of third grade thin film flow using algorithmic differentiation
- Lurupa
- An adaptive fast multipole method in Cartesian basis, enabled by algorithmic differentiation
- A new subdivision algorithm for the flow propagation using polynomial algebras
- PLASMA
- Taylor
- PSIDE
- MOBILE
- SmartMobile
- Sensitivity computations in higher order continuation methods
- A new hybrid uncertainty optimization method for structures using orthogonal series expansion
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- NBODY4
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- VNODE
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II
- IbexOpt
- Rapsodia
- Diamant toolbox
- AD01
- DAFOR
- DAETS
- bvp4cAD
- Efficient evaluation of vapour-liquid equilibria from multi-parameter thermodynamic models using differential algebra
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Validated constraints solving --- practicalities, pitfalls, and new developments
- Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients
- Validated solutions of initial value problems for parametric ODEs
- ODEIntegrator
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- iSat
- Coin3D
- Simulation and optimization of the Tevatron accelerator
- On higher-order differentiation in nonlinear mechanics
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Using expression graphs in optimization algorithms
- Reliable computation of robust response tori on the verge of breakdown
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
- Dynamic global optimization methods for determining guaranteed solutions in chemical engineering
- Analysis on the Levi-Civita field and computational applications
- FluidProp
- Symmetries and their applications in beam physics
- Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation
- Interval computations, rigour and non-rigour in deterministic continuous global optimization
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- Higher-order automatic differentiation of mathematical functions
- scientific article; zbMATH DE number 992809 (Why is no real title available?)
- scientific article; zbMATH DE number 992811 (Why is no real title available?)
- PBLAS
- ADiJaC
- Dealing with uncertainties in angles-only initial orbit determination
- ADiJaC -- Automatic Differentiation of Java Classfiles
- scientific article; zbMATH DE number 5619706 (Why is no real title available?)
- Stabhyli
- LySHA
- GRKLib
- Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters
- HOAD_MathFun
- SystemModeler
This page was built for software: Cosy
