References in zbMATH (referenced in 20 articles )

Showing results 1 to 20 of 20.
Sorted by year (citations)

  1. D’Amore, Luisa: Remarks on numerical algorithms for computing the inverse Laplace transform (2014)
  2. D’Amore, Luisa; Campagna, Rosanna; Mele, Valeria; Murli, Almerico: Algorithm 946: ReLIADiff -- a C++ software package for real Laplace transform inversion based on algorithmic differentiation (2014)
  3. D’Amore, L.; Arcucci, R.; Marcellino, L.; Murli, A.: Performance analysis of the Taylor expansion coefficients computation as implemented by the software package TADIFF (2013)
  4. Fazal, Qaisra; Neumaier, Arnold: Error bounds for initial value problems by optimization (2013)
  5. Lejeune, Arnaud; Boudaoud, Hakim; Potier-Ferry, Michel; Charpentier, Isabelle; Zahrouni, Hamid: Automatic solver for non-linear partial differential equations with implicit local laws: application to unilateral contact (2013)
  6. Asaithambi, Asai: Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation (2011)
  7. Chevillard, S.; Harrison, J.; Joldeş, M.; Lauter, Ch.: Efficient and accurate computation of upper bounds of approximation errors (2011)
  8. Rauh, Andreas; Minisini, Johanna; Hofer, Eberhard P.: Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamical systems with uncertainties (2010)
  9. Auer, Ekaterina; Rauh, Andreas; Hofer, Eberhard P.; Luther, Wolfram: Validated modeling of mechanical systems with SmartMOBILE: Improvement of performance by ValEncIA-IVP (2008)
  10. Auer, Ekaterina: Interval modeling of dynamics for multibody systems (2007)
  11. Lin, Youdong; Stadtherr, Mark A.: Validated solutions of initial value problems for parametric ODEs (2007)
  12. Cruz, Jorge: Constraint reasoning for differential models (2005)
  13. Nedialkov, Nedialko S.; Pryce, John D.: Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients (2005)
  14. Auer, Ekaterina; Kecskeméthy, Andrés; Tändl, Martin; Traczinski, Holger: Interval algorithms in modeling of multibody systems (2004)
  15. Jackson, Kenneth R.; Nedialkov, Nedialko S.: Some recent advances in validated methods for IVPs for ODEs (2002)
  16. Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves: A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations (2002)
  17. Röbenack, K.; Reinschke, K.J.: System inversion for nonlinear descriptor systems (2002)
  18. Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves: Optimal pruning in parametric differential equations (2001)
  19. Nedialkov, Nedialko S.; Jackson, Kenneth R.: ODE software that computes guaranteed bounds on the solution (2000)
  20. Nedialkov, Nedialko S.; Jackson, Kenneth R.: An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation (1999)

Further publications can be found at: