Matches in SemOpenAlex for { <https://semopenalex.org/work/W3371211> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3371211 endingPage "2" @default.
- W3371211 startingPage "2" @default.
- W3371211 abstract "Linear recurrence sequences (LRS), such as the Fibonacci numbers, permeate vast areas of mathematics and computer science. In this talk, we consider three natural decision problems for LRS, namely the Skolem Problem (does a given LRS have a zero?), the Positivity Problem (are all terms of a given LRS positive?), and the Ultimate Positivity Problem (are all but finitely many terms of a given LRS positive?). Such problems (and assorted variants) have applications in a wide array of scientific areas, such as theoretical biology (analysis of L-systems, population dynamics), economics (stability of supply-and-demand equilibria in cyclical markets, multiplier-accelerator models), software verification (termination of linear programs), probabilistic model checking (reachability and approximation in Markov chains, stochastic logics), quantum computing (threshold problems for quantum automata), discrete linear dynamical systems (reachability and invariance problems), as well as combinatorics, statistical physics, term rewriting, formal languages, cellular automata, generating functions, etc." @default.
- W3371211 created "2016-06-24" @default.
- W3371211 creator A5045412407 @default.
- W3371211 date "2013-01-01" @default.
- W3371211 modified "2023-10-16" @default.
- W3371211 title "Decision Problems for Linear Recurrence Sequences" @default.
- W3371211 cites W119239091 @default.
- W3371211 cites W1496801598 @default.
- W3371211 cites W150877817 @default.
- W3371211 cites W1590003630 @default.
- W3371211 cites W1991004801 @default.
- W3371211 cites W2006083528 @default.
- W3371211 cites W2008081925 @default.
- W3371211 cites W2062651539 @default.
- W3371211 cites W2167857419 @default.
- W3371211 cites W2585298200 @default.
- W3371211 doi "https://doi.org/10.1007/978-3-642-40164-0_2" @default.
- W3371211 hasPublicationYear "2013" @default.
- W3371211 type Work @default.
- W3371211 sameAs 3371211 @default.
- W3371211 citedByCount "2" @default.
- W3371211 countsByYear W33712112014 @default.
- W3371211 countsByYear W33712112022 @default.
- W3371211 crossrefType "book-chapter" @default.
- W3371211 hasAuthorship W3371211A5045412407 @default.
- W3371211 hasConcept C110251889 @default.
- W3371211 hasConcept C112505250 @default.
- W3371211 hasConcept C11413529 @default.
- W3371211 hasConcept C115988155 @default.
- W3371211 hasConcept C118615104 @default.
- W3371211 hasConcept C119857082 @default.
- W3371211 hasConcept C136643341 @default.
- W3371211 hasConcept C144024400 @default.
- W3371211 hasConcept C149923435 @default.
- W3371211 hasConcept C154690210 @default.
- W3371211 hasConcept C199360897 @default.
- W3371211 hasConcept C28826006 @default.
- W3371211 hasConcept C2908647359 @default.
- W3371211 hasConcept C33923547 @default.
- W3371211 hasConcept C41008148 @default.
- W3371211 hasConcept C80444323 @default.
- W3371211 hasConcept C98763669 @default.
- W3371211 hasConceptScore W3371211C110251889 @default.
- W3371211 hasConceptScore W3371211C112505250 @default.
- W3371211 hasConceptScore W3371211C11413529 @default.
- W3371211 hasConceptScore W3371211C115988155 @default.
- W3371211 hasConceptScore W3371211C118615104 @default.
- W3371211 hasConceptScore W3371211C119857082 @default.
- W3371211 hasConceptScore W3371211C136643341 @default.
- W3371211 hasConceptScore W3371211C144024400 @default.
- W3371211 hasConceptScore W3371211C149923435 @default.
- W3371211 hasConceptScore W3371211C154690210 @default.
- W3371211 hasConceptScore W3371211C199360897 @default.
- W3371211 hasConceptScore W3371211C28826006 @default.
- W3371211 hasConceptScore W3371211C2908647359 @default.
- W3371211 hasConceptScore W3371211C33923547 @default.
- W3371211 hasConceptScore W3371211C41008148 @default.
- W3371211 hasConceptScore W3371211C80444323 @default.
- W3371211 hasConceptScore W3371211C98763669 @default.
- W3371211 hasLocation W33712111 @default.
- W3371211 hasOpenAccess W3371211 @default.
- W3371211 hasPrimaryLocation W33712111 @default.
- W3371211 hasRelatedWork W13082435 @default.
- W3371211 hasRelatedWork W160373958 @default.
- W3371211 hasRelatedWork W1801993675 @default.
- W3371211 hasRelatedWork W2376932109 @default.
- W3371211 hasRelatedWork W2390279801 @default.
- W3371211 hasRelatedWork W2748952813 @default.
- W3371211 hasRelatedWork W2768734329 @default.
- W3371211 hasRelatedWork W2899084033 @default.
- W3371211 hasRelatedWork W3107474891 @default.
- W3371211 hasRelatedWork W38902447 @default.
- W3371211 isParatext "false" @default.
- W3371211 isRetracted "false" @default.
- W3371211 magId "3371211" @default.
- W3371211 workType "book-chapter" @default.