TADIFF

swMATH4865MaRDI QIDQ17020FDOQ17020

Author name not available (Why is that?)

Cited In (24)

• Computation of multiple Lie derivatives by algorithmic differentiation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interval modeling of dynamics for multibody systems
• 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?)
• Robust descent in differentiable optimization using automatic finite differences
• Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation
• Automatic solver for non-linear partial differential equations with implicit local laws: Application to unilateral contact
• 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
• Title not available (Why is that?)
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• Algorithm 946
• Numerical Software with Result Verification
• Efficient and accurate computation of upper bounds of approximation errors
• Validated solutions of initial value problems for parametric ODEs
• Title not available (Why is that?)
• 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?)
• Controller design for nonlinear multi-input – multi-output systems based on an algorithmic plant description

This page was built for software: TADIFF