Validated numerics [electronic resource] : a short introduction to rigorous computations / Warwick Tucker.

Uloženo v:
Podrobná bibliografie
Vydáno: Princeton : Princeton University Press, c2011.
On-line přístup:
Hlavní autor:
Témata:
Médium: Elektronický zdroj E-kniha