FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W649440792> ?p ?o ?g. }

• W649440792 abstract "Modern computing has adopted the floating point type as a default way to describe computations with real numbers. Thanks to dedicated hardware support, such computations are efficient on modern architectures. However, rigorous reasoning about the resulting programs remains difficult, because of a large gap between the finite floating point representation and the infinite-precision real-number semantics that serves as the mental model for the developers. Because programming languages do not provide support for estimating errors, some computations in practice are performed more and some less precisely than needed. We present a library solution for rigorous arithmetic computation. Our numerical data type library tracks a (double) floating point value, but also a guaranteed upper bound on the error between this value and the ideal value that would be computed in the real-value semantics. Our implementation involves a set of linear approximations based on an extension of affine arithmetic. The derived approximations cover most of the standard mathematical operations including trigonometric functions, and are more comprehensive than any publicly available ones. Moreover, while interval arithmetic rapidly yields overly pessimistic estimates, our approach remains precise for a range of computational tasks of interest. We evaluate the library on a number of examples from numerical analysis and physical simulations. We found it to be a useful tool for gaining confidence in the correctness of the computation." @default.
• W649440792 created "2016-06-24" @default.
• W649440792 creator A5008699657 @default.
• W649440792 creator A5053069388 @default.
• W649440792 date "2011-01-01" @default.
• W649440792 modified "2023-10-02" @default.
• W649440792 title "On the Design and Implementation of SmartFloat and AffineFloat" @default.
• W649440792 cites W1495012123 @default.
• W649440792 cites W1499079548 @default.
• W649440792 cites W1508467936 @default.
• W649440792 cites W1518247129 @default.
• W649440792 cites W1528042415 @default.
• W649440792 cites W1561086741 @default.
• W649440792 cites W1566914742 @default.
• W649440792 cites W1672773028 @default.
• W649440792 cites W1824011918 @default.
• W649440792 cites W1849426162 @default.
• W649440792 cites W194677851 @default.
• W649440792 cites W2008288068 @default.
• W649440792 cites W2013561507 @default.
• W649440792 cites W2017741580 @default.
• W649440792 cites W2027345926 @default.
• W649440792 cites W2051039475 @default.
• W649440792 cites W205696660 @default.
• W649440792 cites W2058064470 @default.
• W649440792 cites W2063477593 @default.
• W649440792 cites W2067856382 @default.
• W649440792 cites W2080794684 @default.
• W649440792 cites W2097363771 @default.
• W649440792 cites W2098156778 @default.
• W649440792 cites W2108776769 @default.
• W649440792 cites W2115585035 @default.
• W649440792 cites W2129891179 @default.
• W649440792 cites W2130084210 @default.
• W649440792 cites W2131275552 @default.
• W649440792 cites W2131798279 @default.
• W649440792 cites W2141227144 @default.
• W649440792 cites W2142262899 @default.
• W649440792 cites W2144743033 @default.
• W649440792 cites W2153316377 @default.
• W649440792 cites W2154697693 @default.
• W649440792 cites W2155673213 @default.
• W649440792 cites W2159401583 @default.
• W649440792 cites W2162082792 @default.
• W649440792 cites W2166031850 @default.
• W649440792 cites W2169004268 @default.
• W649440792 cites W2207050309 @default.
• W649440792 cites W2273879208 @default.
• W649440792 cites W4015096 @default.
• W649440792 hasPublicationYear "2011" @default.
• W649440792 type Work @default.
• W649440792 sameAs 649440792 @default.
• W649440792 citedByCount "0" @default.
• W649440792 crossrefType "journal-article" @default.
• W649440792 hasAuthorship W649440792A5008699657 @default.
• W649440792 hasAuthorship W649440792A5053069388 @default.
• W649440792 hasConcept C11413529 @default.
• W649440792 hasConcept C134306372 @default.
• W649440792 hasConcept C137231763 @default.
• W649440792 hasConcept C152062344 @default.
• W649440792 hasConcept C184337299 @default.
• W649440792 hasConcept C191252586 @default.
• W649440792 hasConcept C199360897 @default.
• W649440792 hasConcept C33923547 @default.
• W649440792 hasConcept C34388435 @default.
• W649440792 hasConcept C41008148 @default.
• W649440792 hasConcept C45374587 @default.
• W649440792 hasConcept C55439883 @default.
• W649440792 hasConcept C80444323 @default.
• W649440792 hasConcept C83581934 @default.
• W649440792 hasConcept C84211073 @default.
• W649440792 hasConcept C94375191 @default.
• W649440792 hasConceptScore W649440792C11413529 @default.
• W649440792 hasConceptScore W649440792C134306372 @default.
• W649440792 hasConceptScore W649440792C137231763 @default.
• W649440792 hasConceptScore W649440792C152062344 @default.
• W649440792 hasConceptScore W649440792C184337299 @default.
• W649440792 hasConceptScore W649440792C191252586 @default.
• W649440792 hasConceptScore W649440792C199360897 @default.
• W649440792 hasConceptScore W649440792C33923547 @default.
• W649440792 hasConceptScore W649440792C34388435 @default.
• W649440792 hasConceptScore W649440792C41008148 @default.
• W649440792 hasConceptScore W649440792C45374587 @default.
• W649440792 hasConceptScore W649440792C55439883 @default.
• W649440792 hasConceptScore W649440792C80444323 @default.
• W649440792 hasConceptScore W649440792C83581934 @default.
• W649440792 hasConceptScore W649440792C84211073 @default.
• W649440792 hasConceptScore W649440792C94375191 @default.
• W649440792 hasLocation W6494407921 @default.
• W649440792 hasOpenAccess W649440792 @default.
• W649440792 hasPrimaryLocation W6494407921 @default.
• W649440792 isParatext "false" @default.
• W649440792 isRetracted "false" @default.
• W649440792 magId "649440792" @default.
• W649440792 workType "article" @default.