Semi-Automatic Differentiation

  • Thomas F. Coleman
  • Fadil Santosa
  • Arun Verma
Part of the Progress in Systems and Control Theory book series (PSCT, volume 24)


We demonstrate how the structure that arises in inverse and optimal design problems can be used to aid in the efficient application of automatic differentiation ideas. We discuss the program structure of generic inverse problems and then illustrate, with two examples (one example involves the heat equation, the other involves wave propagation) how structure can be used in combination with automatic differentiation. Finally, we report numerical results and describe the ADMIT-2 software package which enables efficient derivative computation of structured problems.


Inverse Problem Heat Equation Extended Function Automatic Differentiation Newton Step 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    T. F. Coleman and A. Verma. Structure and efficient Hessian calculation, Tech. Report TR96–258, Cornell Theory Center, Cornell University, September 1996.Google Scholar
  2. [2]
    T. F. Coleman and A. Verma. Structure and efficient Jacobian calculation, in Computational Differentiation: Techniques, Applications, and Tools, M. Berz, C. Bischof, G. Corliss, and A. Griewank, eds., SIAM, Philadelphia, Penn., 149–159, 1996.Google Scholar
  3. [3]
    T. E. Coleman and A. Verma. The efficient computation of sparse Jacobian matrices using automatic differentiation, SISC, (1997 (to appear)).Google Scholar
  4. [4]
    A. Griewank, D. Juedes and J. Utke. ADOL—C, a package for the automatic differentiation of algorithms written in C/C++, ACM Trans. On Math. Software, 22:131–167, 1996.zbMATHCrossRefGoogle Scholar
  5. [5]
    E. Santosa and W.W. Symes. Computation of the Hessian for least-squares solutions of inverse problems of reflection seismology, Inverse problems, 4:211–233, 1988.MathSciNetzbMATHCrossRefGoogle Scholar
  6. [6]
    N. Zabaras, S. Mukherjee and O. Richmond. An analysis of inverse heat transfer problems with phase changes using an integral method, Transactions of American Society of Mechanical Engineers (ASME), 110:554–561, 1988.Google Scholar

Copyright information

© Springer Science+Business Media New York 1998

Authors and Affiliations

  • Thomas F. Coleman
    • 1
  • Fadil Santosa
    • 2
  • Arun Verma
    • 3
  1. 1.Computer Science Department and Center for Applied MathematicsCornell UniversityIthacaUSA
  2. 2.School of MathematicsUniversity of MinnesotaMinneapolisUSA
  3. 3.Computer Science DepartmentCornell UniversityIthacaUSA

Personalised recommendations