Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm).

Micaela Mayero Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm). 246-262 2002 conf/tphol/2002 TPHOLs http://link.springer.de/link/service/series/0558/bibs/2410/24100246.htm db/conf/tphol/tphol2002.html#Mayero02