B. A. Wichmann, Floating-point interval arithmetic for validation, NPL Report DITC 76/86, Oct. 1986. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Information technology -- Language independent arithmetic --.. - Standard (1994) (5 citations) (Correct)
Information technology - Language independent arithmetic - Part.. - Schaffert (1993) (Correct)
Formal Methods Applied to a Floating Point Number System - Geoff Barrett July (1989) (31 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC