Domain of Validity of Derivatives Computed by Automatic Differentiation

Automatic Differentiation (AD) is a technique to obtain derivatives of the functions computed by a computer program. Due to the control flow, these derivatives are valid only in a certain domain around the current input values. We investigate methods to evaluate this domain. This results in a new specific mode of AD that returns additional information on the domain of validity.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/inria-00070761
Author Araya-Polo, Mauricio, Hascoët, Laurent
Maintainer CCSD
Last Updated May 15, 2026, 19:01 (UTC)
Created May 15, 2026, 19:01 (UTC)
Identifier Report N°: RR-5237
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Program transformations for scientific computing (TROPICS) ; Centre Inria d'Université Côte d'Azur ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
creator Araya-Polo, Mauricio
date 2004-06-15T00:00:00
harvest_object_id 9703bef7-f38a-438f-a83f-73de81aa09d6
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-26T00:00:00
set_spec type:REPORT