High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense.

Richard J. Fateman

Browse the full ISSAC paper archive.