TADIFF

swMATH4865MaRDI QIDQ17020FDOQ17020

Author name not available (Why is that?)

Cited In (24)

• 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
• 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
• 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
• 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