Matches in SemOpenAlex for { <https://semopenalex.org/work/W68709446> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W68709446 abstract "Exact real number computation is a fast growing field with applications varying from debugging to specification of numerical to program. We present a specification of the real numbers represented as infinite lists of signed digits in Z. The expressive power and closeness to usual set theoretical mathematical notation gives us a clean and readable specification which is further directly implementable. A comparison with other formal methods is given together with a partial proof that the object being specified is actually the real numbers." @default.
- W68709446 created "2016-06-24" @default.
- W68709446 creator A5025683089 @default.
- W68709446 creator A5081957918 @default.
- W68709446 date "1997-01-01" @default.
- W68709446 modified "2023-10-18" @default.
- W68709446 title "The Real Numbers in Z" @default.
- W68709446 cites W1491116402 @default.
- W68709446 cites W1521083034 @default.
- W68709446 cites W1545230025 @default.
- W68709446 cites W1561360105 @default.
- W68709446 cites W1581294358 @default.
- W68709446 cites W1581601271 @default.
- W68709446 cites W1598302926 @default.
- W68709446 cites W1975269884 @default.
- W68709446 cites W1995997000 @default.
- W68709446 cites W2006786362 @default.
- W68709446 cites W2012949680 @default.
- W68709446 cites W2022261955 @default.
- W68709446 cites W2061786858 @default.
- W68709446 cites W2077359497 @default.
- W68709446 cites W2084041069 @default.
- W68709446 cites W2089158314 @default.
- W68709446 cites W2126160338 @default.
- W68709446 cites W2131256658 @default.
- W68709446 cites W2144973245 @default.
- W68709446 cites W2318762831 @default.
- W68709446 doi "https://doi.org/10.14236/ewic/fa1997.13" @default.
- W68709446 hasPublicationYear "1997" @default.
- W68709446 type Work @default.
- W68709446 sameAs 68709446 @default.
- W68709446 citedByCount "3" @default.
- W68709446 countsByYear W687094462013 @default.
- W68709446 crossrefType "proceedings-article" @default.
- W68709446 hasAuthorship W68709446A5025683089 @default.
- W68709446 hasAuthorship W68709446A5081957918 @default.
- W68709446 hasBestOaLocation W687094461 @default.
- W68709446 hasConcept C11413529 @default.
- W68709446 hasConcept C116253237 @default.
- W68709446 hasConcept C118615104 @default.
- W68709446 hasConcept C134306372 @default.
- W68709446 hasConcept C154945302 @default.
- W68709446 hasConcept C168065819 @default.
- W68709446 hasConcept C177264268 @default.
- W68709446 hasConcept C195818886 @default.
- W68709446 hasConcept C199360897 @default.
- W68709446 hasConcept C202444582 @default.
- W68709446 hasConcept C2779545769 @default.
- W68709446 hasConcept C2781238097 @default.
- W68709446 hasConcept C33923547 @default.
- W68709446 hasConcept C41008148 @default.
- W68709446 hasConcept C45357846 @default.
- W68709446 hasConcept C45374587 @default.
- W68709446 hasConcept C80444323 @default.
- W68709446 hasConcept C94020503 @default.
- W68709446 hasConcept C94375191 @default.
- W68709446 hasConcept C9652623 @default.
- W68709446 hasConceptScore W68709446C11413529 @default.
- W68709446 hasConceptScore W68709446C116253237 @default.
- W68709446 hasConceptScore W68709446C118615104 @default.
- W68709446 hasConceptScore W68709446C134306372 @default.
- W68709446 hasConceptScore W68709446C154945302 @default.
- W68709446 hasConceptScore W68709446C168065819 @default.
- W68709446 hasConceptScore W68709446C177264268 @default.
- W68709446 hasConceptScore W68709446C195818886 @default.
- W68709446 hasConceptScore W68709446C199360897 @default.
- W68709446 hasConceptScore W68709446C202444582 @default.
- W68709446 hasConceptScore W68709446C2779545769 @default.
- W68709446 hasConceptScore W68709446C2781238097 @default.
- W68709446 hasConceptScore W68709446C33923547 @default.
- W68709446 hasConceptScore W68709446C41008148 @default.
- W68709446 hasConceptScore W68709446C45357846 @default.
- W68709446 hasConceptScore W68709446C45374587 @default.
- W68709446 hasConceptScore W68709446C80444323 @default.
- W68709446 hasConceptScore W68709446C94020503 @default.
- W68709446 hasConceptScore W68709446C94375191 @default.
- W68709446 hasConceptScore W68709446C9652623 @default.
- W68709446 hasLocation W687094461 @default.
- W68709446 hasOpenAccess W68709446 @default.
- W68709446 hasPrimaryLocation W687094461 @default.
- W68709446 hasRelatedWork W1492292801 @default.
- W68709446 hasRelatedWork W1579177548 @default.
- W68709446 hasRelatedWork W1587224678 @default.
- W68709446 hasRelatedWork W1601811574 @default.
- W68709446 hasRelatedWork W181842068 @default.
- W68709446 hasRelatedWork W1884942290 @default.
- W68709446 hasRelatedWork W2054342698 @default.
- W68709446 hasRelatedWork W4234604123 @default.
- W68709446 hasRelatedWork W68709446 @default.
- W68709446 hasRelatedWork W2808767067 @default.
- W68709446 isParatext "false" @default.
- W68709446 isRetracted "false" @default.
- W68709446 magId "68709446" @default.
- W68709446 workType "article" @default.