Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code.

Markus Schordan, Jan Hckelheim, Pei-Hung Lin, Harshitha Menon

Browse the full SC paper archive.