Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
AlgorithmConstant-recursive sequenceSkolem–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
We consider the following variant of the Mortality Problem: given $k\times k$ matrices $A_1, A_2, \dots,A_{t}$, does there exist… 
2016
2016
100 : 2 On the Skolem Problem for Continuous Linear Dynamical Systems differential
The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given… 
2015
2015
On the Decidability of the Bounded Continuous Skolem Problem
The Continuous Skolem Problem asks whether a real-valued function satisfying an ordinary linear differential equation has a zero… 
2015
2015
On the Decidability of the Continuous Infinite Zeros Problem
We study the Continuous Infinite Zeros Problem, which asks whether a real-valued function f satisfying a given ordinary linear… 
2006
2006
A Logic of Probability with Decidable Model Checking
A predicate logic of probability, close to the logics of probability of Halpern et al., is introduced. Our main result concerns… 
2001
2001
Departmertt of Industrial Engineering, Yniuersity of Toronto, Toronto, OIL, Canada
Skolem [lOI has considered in connection with a study of some triple systems of Steiner’ the following problem: is it possible to… 
1982
1982
Decidability of "Skolem Matrix Emptiness Problem" Entails Constructability of Exact Regular Expression
1975
1975
Generalization of the Langford-Skolem problem
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)