Validated numerics [electronic resource] : a short introduction to rigorous computations / Warwick Tucker.
Salvato in:
Pubblicazione: |
Princeton :
Princeton University Press,
c2011.
|
---|---|
Accesso online: | |
Autore principale: | |
Soggetti: | |
Natura: | Elettronico eBook |