FRINK Linked Data Fragments server

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

• W2149372141 abstract "Modern programming languages have adopted the floating point type as a way to describe computations with real numbers. Thanks to the 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 library seamlessly integrates into the Scala programming language, thanks to its extensibility mechanisms such as implicit conversions and the treatment of arithmetic operations as method calls. Our numerical data type library tracks a (double) floating point value, but also an upper bound on the error between this value and the ideal value that would be computed in the real-value semantics. The library supports 1) an interval-based representation of the error, and 2) an affine arithmetic representation, which is generally more precise and keeps track of the correlation between different numerical values in the program. The library tracks errors arising from the rounding in arithmetic operations and constants, as well as user-provided errors that can model method errors of numerical algorithms or measurement errors arising in cyber-physical system applications. Our library provides approximations for most of the standard mathematical operations, including trigonometric functions. The library supports automated demand-driven refinement of computed errors by lazily increasing the precision of iteratively computed values to meet the desired precision of the final expression. Furthermore, the library supports dynamic transformation of the evaluation order following a set of algebraic rules to reduce the estimated error in the computed value. The transformed expressions can be used to suggest static rewrites of the source code to the developer. 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.
• W2149372141 created "2016-06-24" @default.
• W2149372141 creator A5008699657 @default.
• W2149372141 creator A5053069388 @default.
• W2149372141 date "2010-01-01" @default.
• W2149372141 modified "2023-10-01" @default.
• W2149372141 title "On Rigorous Numerical Computation as a Scala Library" @default.
• W2149372141 cites W1495012123 @default.
• W2149372141 cites W1518247129 @default.
• W2149372141 cites W1543641760 @default.
• W2149372141 cites W1566914742 @default.
• W2149372141 cites W1824011918 @default.
• W2149372141 cites W1849426162 @default.
• W2149372141 cites W1938260438 @default.
• W2149372141 cites W1968165559 @default.
• W2149372141 cites W1971597822 @default.
• W2149372141 cites W2002064155 @default.
• W2149372141 cites W2008288068 @default.
• W2149372141 cites W2013561507 @default.
• W2149372141 cites W2027345926 @default.
• W2149372141 cites W205696660 @default.
• W2149372141 cites W2058064470 @default.
• W2149372141 cites W2067856382 @default.
• W2149372141 cites W2080794684 @default.
• W2149372141 cites W2085123413 @default.
• W2149372141 cites W2097363771 @default.
• W2149372141 cites W2098156778 @default.
• W2149372141 cites W2109955300 @default.
• W2149372141 cites W2118155805 @default.
• W2149372141 cites W2131275552 @default.
• W2149372141 cites W2142262899 @default.
• W2149372141 cites W2144743033 @default.
• W2149372141 cites W2166031850 @default.
• W2149372141 cites W2169004268 @default.
• W2149372141 cites W2273879208 @default.
• W2149372141 cites W4015096 @default.
• W2149372141 hasPublicationYear "2010" @default.
• W2149372141 type Work @default.
• W2149372141 sameAs 2149372141 @default.
• W2149372141 citedByCount "0" @default.
• W2149372141 crossrefType "journal-article" @default.
• W2149372141 hasAuthorship W2149372141A5008699657 @default.
• W2149372141 hasAuthorship W2149372141A5053069388 @default.
• W2149372141 hasConcept C109701466 @default.
• W2149372141 hasConcept C111919701 @default.
• W2149372141 hasConcept C11413529 @default.
• W2149372141 hasConcept C136625980 @default.
• W2149372141 hasConcept C138958017 @default.
• W2149372141 hasConcept C17744445 @default.
• W2149372141 hasConcept C199360897 @default.
• W2149372141 hasConcept C199539241 @default.
• W2149372141 hasConcept C2776359362 @default.
• W2149372141 hasConcept C33923547 @default.
• W2149372141 hasConcept C41008148 @default.
• W2149372141 hasConcept C45374587 @default.
• W2149372141 hasConcept C548217200 @default.
• W2149372141 hasConcept C80444323 @default.
• W2149372141 hasConcept C83581934 @default.
• W2149372141 hasConcept C84211073 @default.
• W2149372141 hasConcept C94375191 @default.
• W2149372141 hasConcept C94625758 @default.
• W2149372141 hasConceptScore W2149372141C109701466 @default.
• W2149372141 hasConceptScore W2149372141C111919701 @default.
• W2149372141 hasConceptScore W2149372141C11413529 @default.
• W2149372141 hasConceptScore W2149372141C136625980 @default.
• W2149372141 hasConceptScore W2149372141C138958017 @default.
• W2149372141 hasConceptScore W2149372141C17744445 @default.
• W2149372141 hasConceptScore W2149372141C199360897 @default.
• W2149372141 hasConceptScore W2149372141C199539241 @default.
• W2149372141 hasConceptScore W2149372141C2776359362 @default.
• W2149372141 hasConceptScore W2149372141C33923547 @default.
• W2149372141 hasConceptScore W2149372141C41008148 @default.
• W2149372141 hasConceptScore W2149372141C45374587 @default.
• W2149372141 hasConceptScore W2149372141C548217200 @default.
• W2149372141 hasConceptScore W2149372141C80444323 @default.
• W2149372141 hasConceptScore W2149372141C83581934 @default.
• W2149372141 hasConceptScore W2149372141C84211073 @default.
• W2149372141 hasConceptScore W2149372141C94375191 @default.
• W2149372141 hasConceptScore W2149372141C94625758 @default.
• W2149372141 hasLocation W21493721411 @default.
• W2149372141 hasOpenAccess W2149372141 @default.
• W2149372141 hasPrimaryLocation W21493721411 @default.
• W2149372141 hasRelatedWork W125170976 @default.
• W2149372141 hasRelatedWork W1566618018 @default.
• W2149372141 hasRelatedWork W1587625067 @default.
• W2149372141 hasRelatedWork W1595920403 @default.
• W2149372141 hasRelatedWork W1601983749 @default.
• W2149372141 hasRelatedWork W2077808035 @default.
• W2149372141 hasRelatedWork W2095574688 @default.
• W2149372141 hasRelatedWork W2103953062 @default.
• W2149372141 hasRelatedWork W2119802115 @default.
• W2149372141 hasRelatedWork W2138925925 @default.
• W2149372141 hasRelatedWork W2145065635 @default.
• W2149372141 hasRelatedWork W2225877325 @default.
• W2149372141 hasRelatedWork W2371402598 @default.
• W2149372141 hasRelatedWork W2403047192 @default.
• W2149372141 hasRelatedWork W2599617139 @default.
• W2149372141 hasRelatedWork W2782062966 @default.
• W2149372141 hasRelatedWork W2965400239 @default.
• W2149372141 hasRelatedWork W3047437894 @default.

• next