Search alternatives:
"notification" » "justification"
"certification" » "identification"
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- On Formal Certification of AD Transformations -- Collected Matrix Derivative Results for Forward and Reverse...”