scientific article; zbMATH DE number 140034

MaRDI QIDQ4028406zbMATH OpenFDO

Authors Joseph Thames

Publication date 28 March 1993

zbMATH Keywords

automatic differentiationdifferential coordinate transformationsmathematical program synthesisnesting of inverse problems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2090150
• scientific article; zbMATH DE number 3931231
• A mathematical view of automatic differentiation
• scientific article; zbMATH DE number 140016
• scientific article; zbMATH DE number 3892570

Describes a project that uses

Uses Software

• PADRE2
• ADOL-C
• REDUCE
• PASCAL-XSC
• SLANG
• PROSE

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028406)