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

Gorde:
Xehetasun bibliografikoak
Argitaratua: Princeton : Princeton University Press, c2011.
Sarrera elektronikoa:
Egile nagusia:
Gaiak:
Formatua: Baliabide elektronikoa eBook