Provably Correct Automatic Subdifferentiation for Qualified Programs

Open in new window