Numerical toolbox for verified computing

Detalles Bibliográficos
Autores principales: Kulisch, Ulrich, Hammer, Rolf, Ratz, Dietmar, Hocks, Ma3rdias
Lenguaje:eng
Publicado: Springer 1993
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-3-642-78423-1
http://cds.cern.ch/record/1617986

Internet

https://dx.doi.org/10.1007/978-3-642-78423-1
http://cds.cern.ch/record/1617986

Ejemplares similares