scientific article
From MaRDI portal
Publication:3125531
zbMath0940.65019MaRDI QIDQ3125531
Louis B. Rall, George F. Corliss
Publication date: 19 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interval analysisautomatic differentiationalgorithmic differentiationoperator overloadingforward modecomputational differentiationreverse modesource code transformationcode list
Symbolic computation and algebraic computation (68W30) General methods in interval analysis (65G40) Numerical differentiation (65D25)
Related Items
Third-order active-flux scheme for advection diffusion: hyperbolic diffusion, boundary condition, and Newton solver, A general framework for convexity analysis in deterministic global optimization, OpenCL parallel integration of ordinary differential equations: applications in computational dynamics, Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem, Uncertainty propagation or box propagation, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, Breaking the limits: The Taylor series method, The inverse source problem based on the radiative transfer equation in optical molecular imaging, Review of options for structural design sensitivity analysis. I: Linear systems, Interval observer design for consistency checks of nonlinear continuous-time systems, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Dual numbers and operational umbral methods, Efficient and accurate KAM tori construction for the dissipative spin-orbit problem using a map reduction, On the abs-polynomial expansion of piecewise smooth functions, Hyper-differential sensitivity analysis for inverse problems governed by ODEs with application to COVID-19 modeling, Functional programming concepts and straight-line programs in computer algebra, Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications, Analytical and numerical inversion of the Laplace-Carson transform by a differential method