Login / Signup

Foundational Certification of Code Transformations Using Automatic Differentiation.

Emmanuel M. TadjouddineWenjin Lv
Published in: Comput. Sci. (2014)
Keyphrases
  • semi automatic
  • source code
  • multiscale
  • expert systems
  • fully automatic
  • metadata
  • data driven
  • third party