FRINK Linked Data Fragments server

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

• W2275272255 abstract "Exact representations of real numbers such as the signed digit representation or more generally linear fractional representations or the infinite Gray code represent real numbers as infinite streams of digits. In earlier work by the first author it was shown how to extract certified algorithms working with the signed digit representations from constructive proofs. In this paper we lay the foundation for doing a similar thing with nonempty compact sets. It turns out that a representation by streams of finitely many digits is impossible and instead trees are needed." @default.
• W2275272255 created "2016-06-24" @default.
• W2275272255 creator A5005352054 @default.
• W2275272255 creator A5005999573 @default.
• W2275272255 date "2016-01-01" @default.
• W2275272255 modified "2023-09-24" @default.
• W2275272255 title "A coinductive approach to computing with compact sets" @default.
• W2275272255 cites W2027931514 @default.
• W2275272255 cites W2048052240 @default.
• W2275272255 cites W2055701927 @default.
• W2275272255 cites W2079735866 @default.
• W2275272255 cites W2132370466 @default.
• W2275272255 cites W2171729488 @default.
• W2275272255 cites W635853265 @default.
• W2275272255 cites W73015254 @default.
• W2275272255 cites W2164827410 @default.
• W2275272255 cites W2472442674 @default.
• W2275272255 doi "https://doi.org/10.4115/jla.2016.8.3" @default.
• W2275272255 hasPublicationYear "2016" @default.
• W2275272255 type Work @default.
• W2275272255 sameAs 2275272255 @default.
• W2275272255 citedByCount "0" @default.
• W2275272255 crossrefType "journal-article" @default.
• W2275272255 hasAuthorship W2275272255A5005352054 @default.
• W2275272255 hasAuthorship W2275272255A5005999573 @default.
• W2275272255 hasBestOaLocation W22752722551 @default.
• W2275272255 hasConcept C108710211 @default.
• W2275272255 hasConcept C118615104 @default.
• W2275272255 hasConcept C136119220 @default.
• W2275272255 hasConcept C17744445 @default.
• W2275272255 hasConcept C199360897 @default.
• W2275272255 hasConcept C199539241 @default.
• W2275272255 hasConcept C202444582 @default.
• W2275272255 hasConcept C2524010 @default.
• W2275272255 hasConcept C2776359362 @default.
• W2275272255 hasConcept C2778701210 @default.
• W2275272255 hasConcept C33923547 @default.
• W2275272255 hasConcept C40220748 @default.
• W2275272255 hasConcept C41008148 @default.
• W2275272255 hasConcept C80444323 @default.
• W2275272255 hasConcept C94020503 @default.
• W2275272255 hasConcept C94375191 @default.
• W2275272255 hasConcept C94625758 @default.
• W2275272255 hasConcept C94957134 @default.
• W2275272255 hasConcept C98045186 @default.
• W2275272255 hasConceptScore W2275272255C108710211 @default.
• W2275272255 hasConceptScore W2275272255C118615104 @default.
• W2275272255 hasConceptScore W2275272255C136119220 @default.
• W2275272255 hasConceptScore W2275272255C17744445 @default.
• W2275272255 hasConceptScore W2275272255C199360897 @default.
• W2275272255 hasConceptScore W2275272255C199539241 @default.
• W2275272255 hasConceptScore W2275272255C202444582 @default.
• W2275272255 hasConceptScore W2275272255C2524010 @default.
• W2275272255 hasConceptScore W2275272255C2776359362 @default.
• W2275272255 hasConceptScore W2275272255C2778701210 @default.
• W2275272255 hasConceptScore W2275272255C33923547 @default.
• W2275272255 hasConceptScore W2275272255C40220748 @default.
• W2275272255 hasConceptScore W2275272255C41008148 @default.
• W2275272255 hasConceptScore W2275272255C80444323 @default.
• W2275272255 hasConceptScore W2275272255C94020503 @default.
• W2275272255 hasConceptScore W2275272255C94375191 @default.
• W2275272255 hasConceptScore W2275272255C94625758 @default.
• W2275272255 hasConceptScore W2275272255C94957134 @default.
• W2275272255 hasConceptScore W2275272255C98045186 @default.
• W2275272255 hasLocation W22752722551 @default.
• W2275272255 hasLocation W22752722552 @default.
• W2275272255 hasLocation W22752722553 @default.
• W2275272255 hasOpenAccess W2275272255 @default.
• W2275272255 hasPrimaryLocation W22752722551 @default.
• W2275272255 hasRelatedWork W1529188289 @default.
• W2275272255 hasRelatedWork W1546126118 @default.
• W2275272255 hasRelatedWork W155750020 @default.
• W2275272255 hasRelatedWork W1826276606 @default.
• W2275272255 hasRelatedWork W1944647127 @default.
• W2275272255 hasRelatedWork W1987041205 @default.
• W2275272255 hasRelatedWork W2004475973 @default.
• W2275272255 hasRelatedWork W2032442081 @default.
• W2275272255 hasRelatedWork W2036750617 @default.
• W2275272255 hasRelatedWork W2077945353 @default.
• W2275272255 hasRelatedWork W2155606987 @default.
• W2275272255 hasRelatedWork W2219723783 @default.
• W2275272255 hasRelatedWork W2397013701 @default.
• W2275272255 hasRelatedWork W2932346237 @default.
• W2275272255 hasRelatedWork W2949435808 @default.
• W2275272255 hasRelatedWork W3024754465 @default.
• W2275272255 hasRelatedWork W3029195716 @default.
• W2275272255 hasRelatedWork W3127328961 @default.
• W2275272255 hasRelatedWork W3147808488 @default.
• W2275272255 hasRelatedWork W3150789847 @default.
• W2275272255 isParatext "false" @default.
• W2275272255 isRetracted "false" @default.
• W2275272255 magId "2275272255" @default.
• W2275272255 workType "article" @default.