References in zbMATH (referenced in 18 articles )

Showing results 1 to 18 of 18.
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. Chevillard, S.; Harrison, J.; Joldeş, M.; Lauter, Ch.: Efficient and accurate computation of upper bounds of approximation errors (2011)
  6. Rauh, Andreas; Minisini, Johanna; Hofer, Eberhard P.: Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamical systems with uncertainties (2010)
  7. Auer, Ekaterina; Rauh, Andreas; Hofer, Eberhard P.; Luther, Wolfram: Validated modeling of mechanical systems with SmartMOBILE: Improvement of performance by ValEncIA-IVP (2008)
  8. Auer, Ekaterina: Interval modeling of dynamics for multibody systems (2007)
  9. Lin, Youdong; Stadtherr, Mark A.: Validated solutions of initial value problems for parametric ODEs (2007)
  10. Cruz, Jorge: Constraint reasoning for differential models (2005)
  11. Nedialkov, Nedialko S.; Pryce, John D.: Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients (2005)
  12. Auer, Ekaterina; Kecskeméthy, Andrés; Tändl, Martin; Traczinski, Holger: Interval algorithms in modeling of multibody systems (2004)
  13. Jackson, Kenneth R.; Nedialkov, Nedialko S.: Some recent advances in validated methods for IVPs for ODEs (2002)
  14. Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves: A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations (2002)
  15. Röbenack, K.; Reinschke, K.J.: System inversion for nonlinear descriptor systems (2002)
  16. Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves: Optimal pruning in parametric differential equations (2001)
  17. Nedialkov, Nedialko S.; Jackson, Kenneth R.: ODE software that computes guaranteed bounds on the solution (2000)
  18. 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: http://www.autodiff.org/?module=Publications