FRINK Linked Data Fragments server

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

• W884920512 abstract "Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and an exact correcting term using the same format as the inputs. Following a path initiated in 1965, all the authors supposed that neither underflow nor overflow occurred in the process. Overflow is not critical as some kind of exception is triggered by such an event that creates remanent non numeric quantities. Underflow may be fatal to the process as it returns wrong numeric values with little warning. Our new necessary and sufficient conditions guarantee that the exact floating point operations are correct when the result is a number. We also present properties when precise rounding is not available in hardware and faithful rounding alone is performed such as using some digital signal processing circuit. We have validated our proofs against the Coq automatic proof checker. Our development has raised many questions, some of them were expected while other ones were very surprising." @default.
• W884920512 created "2016-06-24" @default.
• W884920512 creator A5025003300 @default.
• W884920512 creator A5031775383 @default.
• W884920512 date "2002-01-01" @default.
• W884920512 modified "2023-09-25" @default.
• W884920512 title "Necessary and sufficient conditions for exact floating point operations" @default.
• W884920512 cites W144074862 @default.
• W884920512 cites W1594496874 @default.
• W884920512 cites W1595501494 @default.
• W884920512 cites W1778289469 @default.
• W884920512 cites W1968834151 @default.
• W884920512 cites W197545145 @default.
• W884920512 cites W1981663184 @default.
• W884920512 cites W1983892874 @default.
• W884920512 cites W1986624837 @default.
• W884920512 cites W1986849004 @default.
• W884920512 cites W1997965419 @default.
• W884920512 cites W2012407419 @default.
• W884920512 cites W2024507228 @default.
• W884920512 cites W2032031956 @default.
• W884920512 cites W2074590072 @default.
• W884920512 cites W2081366855 @default.
• W884920512 cites W2082860648 @default.
• W884920512 cites W2085706674 @default.
• W884920512 cites W2099571283 @default.
• W884920512 cites W2107563428 @default.
• W884920512 cites W2119352997 @default.
• W884920512 cites W2122627858 @default.
• W884920512 cites W2124904625 @default.
• W884920512 cites W2131256658 @default.
• W884920512 cites W2131933762 @default.
• W884920512 cites W2204310803 @default.
• W884920512 hasPublicationYear "2002" @default.
• W884920512 type Work @default.
• W884920512 sameAs 884920512 @default.
• W884920512 citedByCount "0" @default.
• W884920512 crossrefType "journal-article" @default.
• W884920512 hasAuthorship W884920512A5025003300 @default.
• W884920512 hasAuthorship W884920512A5031775383 @default.
• W884920512 hasConcept C108710211 @default.
• W884920512 hasConcept C111919701 @default.
• W884920512 hasConcept C11413529 @default.
• W884920512 hasConcept C114614502 @default.
• W884920512 hasConcept C11577676 @default.
• W884920512 hasConcept C136625980 @default.
• W884920512 hasConcept C199360897 @default.
• W884920512 hasConcept C2524010 @default.
• W884920512 hasConcept C2780595030 @default.
• W884920512 hasConcept C28719098 @default.
• W884920512 hasConcept C3265923 @default.
• W884920512 hasConcept C33923547 @default.
• W884920512 hasConcept C41008148 @default.
• W884920512 hasConcept C60798267 @default.
• W884920512 hasConcept C68060419 @default.
• W884920512 hasConcept C84211073 @default.
• W884920512 hasConcept C94375191 @default.
• W884920512 hasConcept C98045186 @default.
• W884920512 hasConceptScore W884920512C108710211 @default.
• W884920512 hasConceptScore W884920512C111919701 @default.
• W884920512 hasConceptScore W884920512C11413529 @default.
• W884920512 hasConceptScore W884920512C114614502 @default.
• W884920512 hasConceptScore W884920512C11577676 @default.
• W884920512 hasConceptScore W884920512C136625980 @default.
• W884920512 hasConceptScore W884920512C199360897 @default.
• W884920512 hasConceptScore W884920512C2524010 @default.
• W884920512 hasConceptScore W884920512C2780595030 @default.
• W884920512 hasConceptScore W884920512C28719098 @default.
• W884920512 hasConceptScore W884920512C3265923 @default.
• W884920512 hasConceptScore W884920512C33923547 @default.
• W884920512 hasConceptScore W884920512C41008148 @default.
• W884920512 hasConceptScore W884920512C60798267 @default.
• W884920512 hasConceptScore W884920512C68060419 @default.
• W884920512 hasConceptScore W884920512C84211073 @default.
• W884920512 hasConceptScore W884920512C94375191 @default.
• W884920512 hasConceptScore W884920512C98045186 @default.
• W884920512 hasLocation W8849205121 @default.
• W884920512 hasOpenAccess W884920512 @default.
• W884920512 hasPrimaryLocation W8849205121 @default.
• W884920512 hasRelatedWork W1592303155 @default.
• W884920512 hasRelatedWork W1620978993 @default.
• W884920512 hasRelatedWork W1881756298 @default.
• W884920512 hasRelatedWork W191585069 @default.
• W884920512 hasRelatedWork W1992823221 @default.
• W884920512 hasRelatedWork W2006524842 @default.
• W884920512 hasRelatedWork W2031739663 @default.
• W884920512 hasRelatedWork W2044141398 @default.
• W884920512 hasRelatedWork W2096212834 @default.
• W884920512 hasRelatedWork W2322910770 @default.
• W884920512 hasRelatedWork W241785710 @default.
• W884920512 hasRelatedWork W2494237528 @default.
• W884920512 hasRelatedWork W288218938 @default.
• W884920512 hasRelatedWork W3021516624 @default.
• W884920512 hasRelatedWork W3088937196 @default.
• W884920512 hasRelatedWork W94171734 @default.
• W884920512 hasRelatedWork W1910018356 @default.
• W884920512 hasRelatedWork W2204945914 @default.
• W884920512 hasRelatedWork W2817206139 @default.
• W884920512 hasRelatedWork W2876341467 @default.
• W884920512 isParatext "false" @default.

• next