Matches in SemOpenAlex for { <https://semopenalex.org/work/W3165146722> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3165146722 abstract "It is a longstanding open problem whether there is an algorithm to decide the Skolem Problem for linear recurrence sequences, namely whether a given such sequence has a zero term. In this paper we introduce the notion of a Universal Skolem Set: an infinite subset <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>S</i> of the positive integers such that there is an effective procedure that inputs a linear recurrence sequence u = (u(n))n ≥ 0and decides whether u(n) = 0 for some n ∈ <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>S</i> . The main technical contribution of the paper is to exhibit such a set." @default.
- W3165146722 created "2021-06-07" @default.
- W3165146722 creator A5007752336 @default.
- W3165146722 creator A5045412407 @default.
- W3165146722 creator A5068165188 @default.
- W3165146722 date "2021-06-29" @default.
- W3165146722 modified "2023-10-14" @default.
- W3165146722 title "Universal Skolem Sets" @default.
- W3165146722 cites W1480319329 @default.
- W3165146722 cites W1992173352 @default.
- W3165146722 cites W2006148571 @default.
- W3165146722 cites W2112934072 @default.
- W3165146722 cites W2113789941 @default.
- W3165146722 cites W2209422068 @default.
- W3165146722 cites W2501281238 @default.
- W3165146722 cites W2808968897 @default.
- W3165146722 cites W2938427531 @default.
- W3165146722 cites W2962787891 @default.
- W3165146722 cites W82818207 @default.
- W3165146722 doi "https://doi.org/10.1109/lics52264.2021.9470513" @default.
- W3165146722 hasPublicationYear "2021" @default.
- W3165146722 type Work @default.
- W3165146722 sameAs 3165146722 @default.
- W3165146722 citedByCount "1" @default.
- W3165146722 countsByYear W31651467222022 @default.
- W3165146722 crossrefType "proceedings-article" @default.
- W3165146722 hasAuthorship W3165146722A5007752336 @default.
- W3165146722 hasAuthorship W3165146722A5045412407 @default.
- W3165146722 hasAuthorship W3165146722A5068165188 @default.
- W3165146722 hasConcept C11413529 @default.
- W3165146722 hasConcept C114614502 @default.
- W3165146722 hasConcept C118615104 @default.
- W3165146722 hasConcept C121332964 @default.
- W3165146722 hasConcept C138885662 @default.
- W3165146722 hasConcept C177264268 @default.
- W3165146722 hasConcept C199360897 @default.
- W3165146722 hasConcept C2778112365 @default.
- W3165146722 hasConcept C2780813799 @default.
- W3165146722 hasConcept C33923547 @default.
- W3165146722 hasConcept C41008148 @default.
- W3165146722 hasConcept C41895202 @default.
- W3165146722 hasConcept C54355233 @default.
- W3165146722 hasConcept C61797465 @default.
- W3165146722 hasConcept C62520636 @default.
- W3165146722 hasConcept C86803240 @default.
- W3165146722 hasConceptScore W3165146722C11413529 @default.
- W3165146722 hasConceptScore W3165146722C114614502 @default.
- W3165146722 hasConceptScore W3165146722C118615104 @default.
- W3165146722 hasConceptScore W3165146722C121332964 @default.
- W3165146722 hasConceptScore W3165146722C138885662 @default.
- W3165146722 hasConceptScore W3165146722C177264268 @default.
- W3165146722 hasConceptScore W3165146722C199360897 @default.
- W3165146722 hasConceptScore W3165146722C2778112365 @default.
- W3165146722 hasConceptScore W3165146722C2780813799 @default.
- W3165146722 hasConceptScore W3165146722C33923547 @default.
- W3165146722 hasConceptScore W3165146722C41008148 @default.
- W3165146722 hasConceptScore W3165146722C41895202 @default.
- W3165146722 hasConceptScore W3165146722C54355233 @default.
- W3165146722 hasConceptScore W3165146722C61797465 @default.
- W3165146722 hasConceptScore W3165146722C62520636 @default.
- W3165146722 hasConceptScore W3165146722C86803240 @default.
- W3165146722 hasLocation W31651467221 @default.
- W3165146722 hasOpenAccess W3165146722 @default.
- W3165146722 hasPrimaryLocation W31651467221 @default.
- W3165146722 hasRelatedWork W1658934395 @default.
- W3165146722 hasRelatedWork W201096900 @default.
- W3165146722 hasRelatedWork W2099497492 @default.
- W3165146722 hasRelatedWork W2148534827 @default.
- W3165146722 hasRelatedWork W2337746918 @default.
- W3165146722 hasRelatedWork W2378130714 @default.
- W3165146722 hasRelatedWork W2476683972 @default.
- W3165146722 hasRelatedWork W2913145454 @default.
- W3165146722 hasRelatedWork W4253943746 @default.
- W3165146722 hasRelatedWork W4286963025 @default.
- W3165146722 isParatext "false" @default.
- W3165146722 isRetracted "false" @default.
- W3165146722 magId "3165146722" @default.
- W3165146722 workType "article" @default.