Telecharger Cours

Preuves formelles automatiques et calcul formel - Numdam

There might not be a convenient formula for the derivatives. The goal of autodiff is not a formula, but a procedure for computing derivatives. Roger Grosse.



Download