Cited in
(45)- Computation of multiple Lie derivatives by algorithmic differentiation
- System inversion for nonlinear descriptor systems
- scientific article; zbMATH DE number 1424347 (Why is no real title available?)
- Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamical systems with uncertainties
- scientific article; zbMATH DE number 1440924 (Why is no real title available?)
- Automatic solver for non-linear partial differential equations with implicit local laws: application to unilateral contact
- Interval modeling of dynamics for multibody systems
- scientific article; zbMATH DE number 2084729 (Why is no real title available?)
- Robust descent in differentiable optimization using automatic finite differences
- scientific article; zbMATH DE number 7566054 (Why is no real title available?)
- Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation
- Remarks on numerical algorithms for computing the inverse Laplace transform
- Error bounds for initial value problems by optimization
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- ACETAF
- PROFIL/BIAS
- Neweul
- Algorithm 796
- FADBAD++
- ValEncIA-IVP
- Taylor center
- InvertLT
- ReLaTIve
- Cosy
- Algorithm 662
- Godess
- ValEncIA
- MOBILE
- PSIDE
- ReLIADiff
- AD01
- Livarh
- Livarhacc
- MatrixCalculus
- CHAD
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Numerical Software with Result Verification
- Efficient and accurate computation of upper bounds of approximation errors
- Validated solutions of initial value problems for parametric ODEs
- Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients
- Some recent advances in validated methods for IVPs for ODEs
- scientific article; zbMATH DE number 2208644 (Why is no real title available?)
- Performance analysis of the Taylor expansion coefficients computation as implemented by the software package TADIFF
- Controller design for nonlinear multi-input – multi-output systems based on an algorithmic plant description
- Algorithm 946: ReLIADiff -- a C++ software package for real Laplace transform inversion based on algorithmic differentiation
This page was built for software: TADIFF