Validated numerics [electronic resource] : a short introduction to rigorous computations / Warwick Tucker.
Saved in:
Published: |
Princeton :
Princeton University Press,
c2011.
|
---|---|
Online Access: | |
Main Author: | |
Subjects: | |
Format: | Electronic eBook |