Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
      1. 
      Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
      by 
      Boldo, Sylvie, author.
      Click to View
      Format: 
      Excerpt: 
      Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system /
      Cover image for Computer arithmetic and self-validating numerical methods
      2. 
      Computer arithmetic and self-validating numerical methods
      by 
      Ullrich, Christian, editor.
      ScienceDirect https://www.sciencedirect.com/science/book/9780127082455
      Format: 
      Excerpt: 
      Introduction; 2 Scalar products and IEEE arithmetic; 3 Algorithms for the scalar product; 4 Problems and