Cosy

COSY is a system for the use of various advanced concepts of modern scientific computing. COSY currently has more than 2000 registered users and has been extensively cross-checked and verified. The COSY system consists of the following parts.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 95 articles )

Showing results 61 to 80 of 95.
Sorted by year (citations)
  1. Armellin, R.; Di Lizia, P.; Berz, M.; Makino, K.: Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization (2010)
  2. Armellin, R.; Di Lizia, P.; Topputo, F.; Lavagna, M.; Bernelli-Zazzera, F.: Gravity assist space pruning based on differential algebra (2010)
  3. Aschemann, H.; Minisini, J.; Rauh, A.: Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics (2010)
  4. Aschemann, H.; Minisini, J.; Rauh, A.: Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II (2010)
  5. Shamseddine, Khodr; Berz, Martin: Analysis on the Levi-Civita field, a brief overview (2010)
  6. Wittig, A.; Berz, M.; Grote, J.; Makino, K.; Newhouse, S.: Rigorous and accurate enclosure of invariant manifolds on surfaces (2010)
  7. Auer, Ekaterina; Luther, Wolfram: Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems (2009)
  8. Jansson, Christian: On verified numerical computations in convex programming (2009)
  9. Yamamoto, Nobito; Komori, Takashi: An application of Taylor models to the Nakao method on ODEs (2009)
  10. Auer, Ekaterina; Rauh, Andreas; Hofer, Eberhard P.; Luther, Wolfram: Validated modeling of mechanical systems with SmartMOBILE: Improvement of performance by ValEncIA-IVP (2008)
  11. Charpentier, Isabelle; dal Cappello, Claude; Utke, Jean: Efficient higher-order derivatives of the hypergeometric function (2008)
  12. Charpentier, Isabelle; Lejeune, Arnaud; Potier-Ferry, Michel: The Diamant approach for an efficient automatic differentiation of the asymptotic numerical method (2008)
  13. Di Lizia, P.; Armellin, R.; Lavagna, M.: Application of high order expansions of two-point boundary value problems to astrodynamics (2008)
  14. Newhouse, S.; Berz, M.; Makino, K.; Grote, J.: On the estimation of topological entropy on surfaces (2008)
  15. Lin, Youdong; Stadtherr, Mark A.: Validated solutions of initial value problems for parametric ODEs (2007)
  16. Long, Christopher E.; Polisetty, Pradeep K.; Gatzke, Edward P.: Deterministic global optimization for nonlinear model predictive control of hybrid dynamic systems (2007)
  17. Neher, M.; Jackson, K. R.; Nedialkov, N. S.: On Taylor model based integration of ODEs (2007)
  18. Granvilliers, Laurent; Benhamou, Frédéric: Algorithm 852: RealPaver: An interval solver using constraint satisfaction techniques. (2006)
  19. Snopok, Pavel; Johnstone, Carol; Berz, Martin: Simulation and optimization of the Tevatron accelerator (2006)
  20. von Hippel, G. M.: TaylUR, an arbitrary-order diagonal automatic differentiation package for Fortran 95 (2006)