Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,654,113 papers from all fields of science
Search
Sign In
Create Free Account
Skolem problem
In mathematics, the Skolem problem is the problem of determining whether the values of a constant-recursive sequence include the number zero. The…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Algorithm
Constant-recursive sequence
Skolem–Mahler–Lech theorem
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond
Paul C. Bell
,
I. Potapov
,
P. Semukhin
arXiv.org
2019
Corpus ID: 67855628
We consider the following variant of the Mortality Problem: given $k\times k$ matrices $A_1, A_2, \dots,A_{t}$, does there exist…
Expand
2015
2015
On the Decidability of the Bounded Continuous Skolem Problem
Ventsislav Chonev
,
Joël Ouaknine
,
J. Worrell
arXiv.org
2015
Corpus ID: 14220136
The Continuous Skolem Problem asks whether a real-valued function satisfying an ordinary linear differential equation has a zero…
Expand
2015
2015
On the Decidability of the Continuous Infinite Zeros Problem
Ventsislav Chonev
,
Joël Ouaknine
,
J. Worrell
arXiv.org
2015
Corpus ID: 44121
We study the Continuous Infinite Zeros Problem, which asks whether a real-valued function f satisfying a given ordinary linear…
Expand
1975
1975
Generalization of the Langford-Skolem problem
R. Nowakowski
1975
Corpus ID: 126072572