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