Publication: High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense
Introduction
Applications
Tools
Research Groups
Workshops
Publications
   List Publications
   Advanced Search
   Info
   Add Publications
My Account
About

High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense

- Part of a collection -
 

Area
Program Verification

Author(s)
Richard Fateman

Published in
Proceedings of the 2003 international symposium on Symbolic and algebraic computation

Year
2003

Publisher
ACM

BibTeX
@INPROCEEDINGS{
         Fateman2003Hlp,
       author = "Fateman, Richard",
       title = "High-level proofs of mathematical programs using automatic differentiation,
         simplification, and some common sense",
       booktitle = "Proceedings of the 2003 international symposium on Symbolic and algebraic
         computation",
       series = "ISSAC '03",
       year = "2003",
       isbn = "1-58113-641-2",
       location = "Philadelphia, PA, USA",
       pages = "88--94",
       numpages = "7",
       url = "http://doi.acm.org/10.1145/860854.860883",
       doi = "10.1145/860854.860883",
       acmid = "860883",
       publisher = "ACM",
       address = "New York, NY, USA",
       keywords = "Bessel, differentiation, proof, recurrence, sine",
       ad_area = "Program Verification"
}


back
  

Contact:
autodiff.org
Username:
Password:
(lost password)