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 81 to 95 of 95.
Sorted by year (citations)

previous 1 2 3 4 5

  1. Kearfott, R. Baker: Validated constraints solving --- practicalities, pitfalls, and new developments (2005)
  2. Makino, Kyoko; Berz, Martin: Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning (2005)
  3. Nedialkov, Nedialko S.; Pryce, John D.: Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients (2005)
  4. Revol, N.; Makino, K.; Berz, M.: Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (2005)
  5. Schichl, Hermann; Neumaier, Arnold: Interval analysis on directed acyclic graphs for global optimization (2005)
  6. Beelitz, Thomas; Bischof, Christian; Lang, Bruno; Althoff, Klaus Schulte: Result-verifying solution of nonlinear systems in the analysis of chemical processes (2004)
  7. Corliss, George F.; Yu, Jun: Interval testing strategies applied to COSY’s interval and Taylor model arithmetic (2004)
  8. Kearfott, R. Baker; Walster, G. William: Symbolic preconditioning with Taylor models: Some examples (2002)
  9. Hoefkens, Jens; Berz, Martin; Makino, Kyoko: Verified high-order integration of DAEs and higher-order ODEs (2001)
  10. Shamseddine, Khodr; Berz, Martin: The differential algebraic structure of the Levi-Civita field and applications. (2000)
  11. Berz, Martin; Hoffstätter, Georg: Computation and application of Taylor polynomials with interval remainder bounds (1998)
  12. Kreinovich, V.; Lakeyev, A.; Rohn, Jiří; Kahl, Patrick: Computational complexity and feasibility of data processing and interval computations (1998)
  13. Makino, Kyoko; Berz, Martin: Remainder differential algebras and their applications (1996)
  14. Shamseddine, Khodr; Berz, Martin: Exception handling in derivative computation with nonarchimedean calculus (1996)
  15. Ozaki, I.; Kimura, F.; Berz, M.: Higher-order sensitivity analysis of finite element method by automatic differentiation (1995)

previous 1 2 3 4 5