Cosy
From MaRDI portal
Cited in
(only showing first 100 items - show all)- On higher-order differentiation in nonlinear mechanics
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- A new subdivision algorithm for the flow propagation using polynomial algebras
- Validated constraints solving --- practicalities, pitfalls, and new developments
- Reliable computation of robust response tori on the verge of breakdown
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- scientific article; zbMATH DE number 992809 (Why is no real title available?)
- Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
- Solving set-valued constraint satisfaction problems
- A new hybrid uncertainty optimization method for structures using orthogonal series expansion
- On non-Archimedean valued fields: a survey of algebraic, topological and metric structures, analysis and applications
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- scientific article; zbMATH DE number 992811 (Why is no real title available?)
- Breaking the limits: The Taylor series method
- A validated real function calculus
- Status of the differential transformation method
- Bounded motion design in the Earth zonal problem using differential algebra based normal form methods
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
- An application of Taylor models to the Nakao method on ODEs
- On verified numerical computations in convex programming
- Verified High-Order Integration of DAEs and Higher-Order ODEs
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- ADiJaC -- Automatic Differentiation of Java Classfiles
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Higher-order sensitivity analysis of finite element method by automatic differentiation
- Algorithm 852
- Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
- scientific article; zbMATH DE number 5619706 (Why is no real title available?)
- Sensitivity computations in higher order continuation methods
- Analysis on the Levi-Civita field and computational applications
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- Analysis on the Levi-Civita field, a brief overview
- Dynamic global optimization methods for determining guaranteed solutions in chemical engineering
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
- Higher-order automatic differentiation of mathematical functions
- Dealing with uncertainties in angles-only initial orbit determination
- Computational complexity and feasibility of data processing and interval computations
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- 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
- 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
- FluidProp
- ADiJaC
- PBLAS
- LySHA
- GRKLib
- Stabhyli
- HOAD_MathFun
- SystemModeler
- Deriva
- JAutoDiff
- OGOLEM
This page was built for software: Cosy
