Validated numerics [electronic resource] : a short introduction to rigorous computations / Warwick Tucker.
Uloženo v:
Vydáno: |
Princeton :
Princeton University Press,
c2011.
|
---|---|
On-line přístup: | |
Hlavní autor: | |
Témata: | |
Médium: | Elektronický zdroj E-kniha |