swMATH4865MaRDI QIDQ17020FDOQ17020
Author name not available (Why is that?)
Official website: http://www.autodiff.org/?module=Tools&tool=FADBAD%2FTADIFF
Cited In (42)
- System inversion for nonlinear descriptor systems
- Computation of multiple Lie derivatives by algorithmic differentiation
- Title not available (Why is that?)
- Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamical systems with uncertainties
- Title not available (Why is that?)
- Automatic solver for non-linear partial differential equations with implicit local laws: application to unilateral contact
- CHAD
- Interval modeling of dynamics for multibody systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Robust descent in differentiable optimization using automatic finite differences
- Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- Remarks on numerical algorithms for computing the inverse Laplace transform
- Error bounds for initial value problems by optimization
- Algorithm 796
- FADBAD++
- ValEncIA-IVP
- Taylor center
- InvertLT
- ReLaTIve
- Cosy
- Algorithm 662
- Godess
- ValEncIA
- MOBILE
- PSIDE
- ReLIADiff
- AD01
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Numerical Software with Result Verification
- Livarh
- Livarhacc
- MatrixCalculus
- 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
- Title not available (Why is that?)
- 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
