Matches in SemOpenAlex for { <https://semopenalex.org/work/W326552015> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W326552015 endingPage "491" @default.
- W326552015 startingPage "463" @default.
- W326552015 abstract "While the previous chapters have made clear that it is common practice to certify floating-point algorithms with pen-and-paper proofs, this practice can lead to subtle bugs. Indeed, floating-point arithmetic introduces numerous special cases, and examining all the details would be tedious. As a consequence, the certification process tends to focus on the main parts of the correctness proof, so that it does not grow out of reach." @default.
- W326552015 created "2016-06-24" @default.
- W326552015 creator A5016059542 @default.
- W326552015 creator A5035039448 @default.
- W326552015 creator A5035966925 @default.
- W326552015 creator A5046395330 @default.
- W326552015 creator A5048005923 @default.
- W326552015 creator A5050316793 @default.
- W326552015 creator A5058275399 @default.
- W326552015 creator A5073473823 @default.
- W326552015 creator A5088706134 @default.
- W326552015 date "2009-10-30" @default.
- W326552015 modified "2023-09-25" @default.
- W326552015 title "Formalisms for Certifying Floating-Point Algorithms" @default.
- W326552015 doi "https://doi.org/10.1007/978-0-8176-4705-6_13" @default.
- W326552015 hasPublicationYear "2009" @default.
- W326552015 type Work @default.
- W326552015 sameAs 326552015 @default.
- W326552015 citedByCount "0" @default.
- W326552015 crossrefType "book-chapter" @default.
- W326552015 hasAuthorship W326552015A5016059542 @default.
- W326552015 hasAuthorship W326552015A5035039448 @default.
- W326552015 hasAuthorship W326552015A5035966925 @default.
- W326552015 hasAuthorship W326552015A5046395330 @default.
- W326552015 hasAuthorship W326552015A5048005923 @default.
- W326552015 hasAuthorship W326552015A5050316793 @default.
- W326552015 hasAuthorship W326552015A5058275399 @default.
- W326552015 hasAuthorship W326552015A5073473823 @default.
- W326552015 hasAuthorship W326552015A5088706134 @default.
- W326552015 hasConcept C108710211 @default.
- W326552015 hasConcept C11413529 @default.
- W326552015 hasConcept C120665830 @default.
- W326552015 hasConcept C121332964 @default.
- W326552015 hasConcept C171018156 @default.
- W326552015 hasConcept C17744445 @default.
- W326552015 hasConcept C192209626 @default.
- W326552015 hasConcept C199360897 @default.
- W326552015 hasConcept C199539241 @default.
- W326552015 hasConcept C2524010 @default.
- W326552015 hasConcept C28719098 @default.
- W326552015 hasConcept C33923547 @default.
- W326552015 hasConcept C41008148 @default.
- W326552015 hasConcept C46304622 @default.
- W326552015 hasConcept C55439883 @default.
- W326552015 hasConcept C84211073 @default.
- W326552015 hasConcept C94375191 @default.
- W326552015 hasConcept C98045186 @default.
- W326552015 hasConceptScore W326552015C108710211 @default.
- W326552015 hasConceptScore W326552015C11413529 @default.
- W326552015 hasConceptScore W326552015C120665830 @default.
- W326552015 hasConceptScore W326552015C121332964 @default.
- W326552015 hasConceptScore W326552015C171018156 @default.
- W326552015 hasConceptScore W326552015C17744445 @default.
- W326552015 hasConceptScore W326552015C192209626 @default.
- W326552015 hasConceptScore W326552015C199360897 @default.
- W326552015 hasConceptScore W326552015C199539241 @default.
- W326552015 hasConceptScore W326552015C2524010 @default.
- W326552015 hasConceptScore W326552015C28719098 @default.
- W326552015 hasConceptScore W326552015C33923547 @default.
- W326552015 hasConceptScore W326552015C41008148 @default.
- W326552015 hasConceptScore W326552015C46304622 @default.
- W326552015 hasConceptScore W326552015C55439883 @default.
- W326552015 hasConceptScore W326552015C84211073 @default.
- W326552015 hasConceptScore W326552015C94375191 @default.
- W326552015 hasConceptScore W326552015C98045186 @default.
- W326552015 hasLocation W3265520151 @default.
- W326552015 hasOpenAccess W326552015 @default.
- W326552015 hasPrimaryLocation W3265520151 @default.
- W326552015 hasRelatedWork W1971951984 @default.
- W326552015 hasRelatedWork W1985198438 @default.
- W326552015 hasRelatedWork W2131315680 @default.
- W326552015 hasRelatedWork W2295642466 @default.
- W326552015 hasRelatedWork W2536902987 @default.
- W326552015 hasRelatedWork W2973978040 @default.
- W326552015 hasRelatedWork W3036611088 @default.
- W326552015 hasRelatedWork W3089305218 @default.
- W326552015 hasRelatedWork W3099800985 @default.
- W326552015 hasRelatedWork W4238823939 @default.
- W326552015 isParatext "false" @default.
- W326552015 isRetracted "false" @default.
- W326552015 magId "326552015" @default.
- W326552015 workType "book-chapter" @default.