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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Given a linear recurrence sequence (LRS), the Skolem problem, asks whether it ever becomes zero. The decidability of this problem… (More)
Is this relevant?
2016
2016
The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given… (More)
Is this relevant?
2015
2015
The Continuous Skolem Problem asks whether a real-valued function satisfying an ordinary linear differential equation has a zero… (More)
Is this relevant?
2015
2015
The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given… (More)
  • figure 1
Is this relevant?
2015
2015
We consider the following decision problem: given a finite Markov chain with distinguished source and target states, and given a… (More)
  • figure 1
Is this relevant?
2015
2015
In this paper, I establish the categorical structure necessary to interpret dependent inductive and coinductive types. It is well… (More)
  • figure 1
  • figure 1
  • figure 4.1
  • figure 4.2
  • figure 1
Is this relevant?
2014
2014
When studying probabilistic dynamical systems, temporal logic has typically been used to analyze path properties. Recently, there… (More)
  • figure 1
  • figure 2
Is this relevant?
2009
2009
We study decidability and complexity questions related to a continuous analogue of the Skolem-Pisot problem concerning the zeros… (More)
Is this relevant?
1982
1982
An expressibility result is proved for infinitary languages. 
Is this relevant?
1981
1981
A new relation between extended Skolem sequences (i.e., Skolem sequences with one zero element) and additive permutations is… (More)
Is this relevant?