Publication: Validated Numerics: A Short Introduction to Rigorous Computations
Introduction
Applications
Tools
Research Groups
Workshops
Publications
   List Publications
   Advanced Search
   Info
   Add Publications
My Account
About

Validated Numerics: A Short Introduction to Rigorous Computations

- Book -
 

Author(s)
W. Tucker

Year
2011

Publisher
Princeton University Press

AD Theory and Techniques
General

BibTeX
@BOOK{
         Tucker2011VNA,
       title = "Validated Numerics: A Short Introduction to Rigorous Computations",
       author = "Tucker, W.",
       isbn = "9781400838974",
       url = "http://press.princeton.edu/titles/9488.html",
       year = "2011",
       publisher = "Princeton University Press",
       ad_theotech = "General"
}


back
  

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