Formal aspects of correctness and optimality of interval computations

From MaRDI portal
Publication:2432236

DOI10.1007/S00165-006-0089-XzbMATH Open1104.65045OpenAlexW2050251549MaRDI QIDQ2432236FDOQ2432236


Authors: Benedito Melo Acióly, Regivan H. N. Santiago, Benjamín Bedregal Edit this on Wikidata


Publication date: 25 October 2006

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-006-0089-x




Recommendations





Cited In (31)

Uses Software





This page was built for publication: Formal aspects of correctness and optimality of interval computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2432236)