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