FADBAD++
From MaRDI portal
Cited in
(only showing first 100 items - show all)- On the implementation of automatic differentiation tools
- MXYZPTLK
- ADF95
- ADOL-C
- ADOL-F
- AUTO_DERIV
- C-XSC
- GRESS
- PADRE2
- PROFIL/BIAS
- GiNaCDE
- TaylUR
- TAC++
- ADIFOR
- ADMIT
- ADIC
- Some recent advances in validated methods for IVPs for ODEs
- GENDA
- Autodiff
- Deterministic global optimization of process flowsheets in a reduced space using McCormick relaxations
- ValEncIA-IVP
- ADMAT
- TADIFF
- CppAD
- ROSE
- Deterministic global optimization with artificial neural networks embedded
- Taylor center
- filib++
- ADiMat
- TIDES
- NAPA_
- TAMC
- TFad
- Cosy
- Tighter McCormick relaxations through subgradient propagation
- On the effectiveness of the fast automatic differentiation methodology
- p-kernel Stein variational gradient descent for data assimilation and history matching
- Deterministic global optimization with Gaussian processes embedded
- ValEncIA
- ATOMFT
- Solution of third grade thin film flow using algorithmic differentiation
- Deterministic global optimization of steam cycles using the IAPWS-IF97 model
- Taylor
- PSIDE
- NSDTST
- MOBILE
- SmartMobile
- Stepsize selection in the rigorous defect control of Taylor series methods
- AML++
- IbexOpt
- CRlibm
- Analysis of nano-plates by atomistic-refined models accounting for surface free energy effect
- OpenAD
- Rapsodia
- Diamant toolbox
- AD01
- Odyssee
- DAETS
- Parallel fluid flow control and optimisation with lattice Boltzmann methods and automatic differentiation
- Computations for the familial analysis of binary traits
- bvp4cAD
- MC++
- Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients
- Validated solutions of initial value problems for parametric ODEs
- An Hermite-Obreschkoff method for stiff high-index DAE
- An integrodifferential approach to modeling, control, state estimation and optimization for heat transfer systems
- Generative programming for automatic differentiation
- Dynamic global optimization methods for determining guaranteed solutions in chemical engineering
- 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
- Optimal control of fluid forces using second order automatic differentiation
- Automatic differentiation for MATLAB programs
- scientific article; zbMATH DE number 5870403 (Why is no real title available?)
- ADiJaC
- Adept
- ADiJaC -- Automatic Differentiation of Java Classfiles
- Test Set IVP
- Solving differential algebraic equations by Taylor series. III: The DAETs code
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics
- Automatic differentiation for electromagnetic models used in optimization
- Sensitivities of effective properties computed using micromechanics differential schemes and high-order Taylor series: application to piezo-polymer composites
- OGOLEM
- JAutoDiff
- Deriva
- Computing of B-series by automatic differentiation
- MAiNGO
- Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
- Livarh
- Livarhacc
- scientific article; zbMATH DE number 6982909 (Why is no real title available?)
- V-Clip
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques
- Expression templates for primal value taping in the reverse mode of algorithmic differentiation
- Divide-and-conquer checkpointing for arbitrary programs with no user annotation
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Interval methods for real-time capable robust control of solid oxide fuel cell systems
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
This page was built for software: FADBAD++
