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