Publication | Closed Access
Computational differentiation : techniques, applications, and tools
335
Citations
0
References
1996
Year
Numerical AnalysisComputational DifferentiationComputer ProgramsEngineeringSoftware EngineeringSoftware AnalysisComputational ToolsProgram TransformationDerivative-free OptimizationComputational ParadigmDifferential AnalysisAutomatic TransformationAutomatic ProgrammingProgram StructureAutomatic DifferentiationAbstract InterpretationComputer ScienceSoftware DesignComputational ScienceProgram AnalysisAutomated ReasoningFormal MethodsProgram Synthesis
This volume goes beyond the first volume published in 1991 (SIAM) in that it encompasses both the automatic transformation of computer programs as well as the methodologies for the efficient exploitation of mathematical underpinnings or program structure.