scientific article
From MaRDI portal
Publication:3816912
zbMath0665.65046MaRDI QIDQ3816912
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interval arithmeticisotonicityguaranteed boundsinclusion theorynumerical computation with validationsystem ABACUS
Related Items (4)
Experiences with a method for enclosing solutions of systems of equations ⋮ TELEMAC: an efficient hydrodynamics suite for massively parallel architectures ⋮ A computer assisted proof of the symmetries of least energy nodal solutions on squares ⋮ Precise numerical computation
This page was built for publication: