Explore: Floating Point Arithmetic

Discover books, insights, and more — all in one place.

Learn more about Floating Point Arithmetic with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “floating-point-arithmetic”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Methods and applications of error-free computation

By

Book's cover

“Methods and applications of error-free computation” Metadata:

  • Title: ➤  Methods and applications of error-free computation
  • Author:
  • Language: English
  • Number of Pages: Median: 194
  • Publisher: Springer-Verlag
  • Publish Date:
  • Publish Location: New York

“Methods and applications of error-free computation” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1984
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Methods and applications of error-free computation at online marketplaces:


2Defining the IEEE-854 floating-point standard in PVS

By

“Defining the IEEE-854 floating-point standard in PVS” Metadata:

  • Title: ➤  Defining the IEEE-854 floating-point standard in PVS
  • Author:
  • Language: English
  • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
  • Publish Date:
  • Publish Location: Hampton, Va - [Springfield, Va

“Defining the IEEE-854 floating-point standard in PVS” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1995
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Defining the IEEE-854 floating-point standard in PVS at online marketplaces:


    3Interpretation of IEEE-854 floating-point standard and definition in the HOL system

    By

    “Interpretation of IEEE-854 floating-point standard and definition in the HOL system” Metadata:

    • Title: ➤  Interpretation of IEEE-854 floating-point standard and definition in the HOL system
    • Author:
    • Language: English
    • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
    • Publish Date:
    • Publish Location: Hampton, Va - [Springfield, Va

    “Interpretation of IEEE-854 floating-point standard and definition in the HOL system” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1995
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Access

    Downloads Are Not Available:

    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

    Online Borrowing:

      Online Marketplaces

      Find Interpretation of IEEE-854 floating-point standard and definition in the HOL system at online marketplaces:


      4Prospects for CFD on petaflops systems

      By

      “Prospects for CFD on petaflops systems” Metadata:

      • Title: ➤  Prospects for CFD on petaflops systems
      • Author:
      • Language: English
      • Publisher: ➤  National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
      • Publish Date:
      • Publish Location: Hampton, Va - [Springfield, Va

      “Prospects for CFD on petaflops systems” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1997
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Access

      Downloads Are Not Available:

      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

      Online Borrowing:

        Online Marketplaces

        Find Prospects for CFD on petaflops systems at online marketplaces:


        5Improved load distribution in parallel sparse Cholesky factorization

        By

        “Improved load distribution in parallel sparse Cholesky factorization” Metadata:

        • Title: ➤  Improved load distribution in parallel sparse Cholesky factorization
        • Author:
        • Language: English
        • Publisher: ➤  Research Institute for Advanced Computer Science, NASA Ames Research Center - National Technical Information Service, distributor
        • Publish Date:
        • Publish Location: ➤  [Springfield, Va - [Moffett Field, Calif.]

        “Improved load distribution in parallel sparse Cholesky factorization” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1994
        • Is Full Text Available: No
        • Is The Book Public: No
        • Access Status: No_ebook

        Online Access

        Downloads Are Not Available:

        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

        Online Borrowing:

          Online Marketplaces

          Find Improved load distribution in parallel sparse Cholesky factorization at online marketplaces:


          6On the accuracy of solving triangular systems in parallel

          By

          “On the accuracy of solving triangular systems in parallel” Metadata:

          • Title: ➤  On the accuracy of solving triangular systems in parallel
          • Author:
          • Language: English
          • Publisher: ➤  National Aeronautics and Space Administration - For sale by the National Technical Information Service
          • Publish Date:
          • Publish Location: ➤  [Washington, DC] - [Springfield, Va

          “On the accuracy of solving triangular systems in parallel” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1988
          • Is Full Text Available: No
          • Is The Book Public: No
          • Access Status: No_ebook

          Online Access

          Downloads Are Not Available:

          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

          Online Borrowing:

            Online Marketplaces

            Find On the accuracy of solving triangular systems in parallel at online marketplaces:


            7Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit

            By

            “Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit” Metadata:

            • Title: ➤  Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
            • Author:
            • Language: English
            • Publisher: ➤  National Aeronautics and Space Administration, Langley Research Center
            • Publish Date:
            • Publish Location: Hampton, Va

            “Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1991
            • Is Full Text Available: No
            • Is The Book Public: No
            • Access Status: No_ebook

            Online Access

            Downloads Are Not Available:

            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

            Online Borrowing:

              Online Marketplaces

              Find Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit at online marketplaces:


              Top of Page