Provably Correct Automatic Sub-Differentiation for Qualified Programs

Open in new window