TADIFF
TADIFF is a C++ program package for performing Taylor expansions on functions implemented as C++ programs
Keywords for this software
References in zbMATH (referenced in 23 articles )
Showing results 1 to 20 of 23.
Sorted by year (- D’Amore, Luisa: Remarks on numerical algorithms for computing the inverse Laplace transform (2014)
- 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)
- 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)
- Fazal, Qaisra; Neumaier, Arnold: Error bounds for initial value problems by optimization (2013)
- 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)
- Asaithambi, Asai: Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation (2011)
- Chevillard, S.; Harrison, J.; Joldeş, M.; Lauter, Ch.: Efficient and accurate computation of upper bounds of approximation errors (2011)
- Rauh, Andreas; Minisini, Johanna; Hofer, Eberhard P.: Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamical systems with uncertainties (2010)
- Auer, Ekaterina; Rauh, Andreas; Hofer, Eberhard P.; Luther, Wolfram: Validated modeling of mechanical systems with SmartMOBILE: Improvement of performance by ValEncIA-IVP (2008)
- Röbenack, Klaus: Computation of multiple Lie derivatives by algorithmic differentiation (2008)
- Auer, Ekaterina: Interval modeling of dynamics for multibody systems (2007)
- Lin, Youdong; Stadtherr, Mark A.: Validated solutions of initial value problems for parametric ODEs (2007)
- Röbenack, Klaus: Controller design for nonlinear multi-input--multi-output systems based on an algorithmic plant description (2007)
- Dussault, Jean-Pierre; Hamelin, Benoit: Robust descent in differentiable optimization using automatic finite differences (2006)
- Cruz, Jorge: Constraint reasoning for differential models (2005)
- Nedialkov, Nedialko S.; Pryce, John D.: Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients (2005)
- Auer, Ekaterina; Kecskeméthy, Andrés; Tändl, Martin; Traczinski, Holger: Interval algorithms in modeling of multibody systems (2004)
- Jackson, Kenneth R.; Nedialkov, Nedialko S.: Some recent advances in validated methods for IVPs for ODEs (2002)
- Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves: A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations (2002)
- Röbenack, K.; Reinschke, K. J.: System inversion for nonlinear descriptor systems (2002)
Further publications can be found at: http://www.autodiff.org/?module=Publications