Richard J. Fateman. High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. In J. Rafael Sendra, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings. pages 88-94, ACM, 2003. [doi]
@inproceedings{Fateman03,
title = {High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense},
author = {Richard J. Fateman},
year = {2003},
doi = {10.1145/860854.860883},
url = {http://doi.acm.org/10.1145/860854.860883},
researchr = {https://researchr.org/publication/Fateman03},
cites = {0},
citedby = {0},
pages = {88-94},
booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings},
editor = {J. Rafael Sendra},
publisher = {ACM},
isbn = {1-58113-641-2},
}