Validated numerics [electronic resource] : a short introduction to rigorous computations / Warwick Tucker.
Gespeichert in:
Veröffentlicht: |
Princeton :
Princeton University Press,
c2011.
|
---|---|
Online Zugang: | |
1. Verfasser: | |
Schlagworte: | |
Format: | Elektronisch E-Book |