• DocumentCode
    3402059
  • Title

    Axiomatizations of floating point arithmetics

  • Author

    Zadrozny, Wlodzimierz

  • Author_Institution
    North Texas State University Department of Computer Science Denton,. Texas 76203-3886
  • fYear
    1985
  • fDate
    4-6 June 1985
  • Firstpage
    74
  • Lastpage
    81
  • Abstract
    We present a universal scheme for axiomatizing floating point ariththmetic. The schema can be used to axiomatize any floating point arithmetic. It consists of a labeled graph with vertices describing some arithmetical properties and edges containing appropriate axioms. The language of floating point arithmetic is developed gradually in this scheme. The scheme can provide a vehicle for studying and implementing various versions of floating point arithmetic.
  • Keywords
    Approximation methods; Computational modeling; Computers; Distance measurement; Floating-point arithmetic; Joining processes; Organizations;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Arithmetic (ARITH), 1985 IEEE 7th Symposium on
  • Conference_Location
    Urbana, IL,
  • Type

    conf

  • DOI
    10.1109/ARITH.1985.6158980
  • Filename
    6158980
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3402059