Occurrence of zero in a linear recursive sequence

DOI10.1007/BF01156238zbMath0595.10007OpenAlexW2035848785MaRDI QIDQ1077447

Nikolai K. Vereshchagin

Publication date: 1985

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01156238

zbMATH Keywords

algorithmzerosrecurrence relationlower boundlinear forms in logarithmseffective algorithmsequence of algebraic numbers

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Recurrences (11B37) Exponential Diophantine equations (11D61)

Related Items (19)

Effective results on the Skolem problem for linear recurrence sequences ⋮ The Membership Problem for Hypergeometric Sequences with Quadratic Parameters ⋮ What's decidable about discrete linear dynamical systems? ⋮ Analyzing ultimate positivity for solvable systems ⋮ Decision Questions for Probabilistic Automata on Small Alphabets ⋮ Unnamed Item ⋮ Reachability problems for Markov chains ⋮ Orbits of Linear Maps and Regular Languages ⋮ The continuous Skolem-Pisot problem ⋮ Unnamed Item ⋮ Unnamed Item ⋮ First-order orbit queries ⋮ On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond ⋮ Reachability problems in low-dimensional nondeterministic polynomial maps over integers ⋮ On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond ⋮ Unnamed Item ⋮ An extension of holonomic sequences: \(C^2\)-finite sequences ⋮ A comparison of algorithms for proving positivity of linearly recurrent sequences ⋮ Algebraic model checking for discrete linear dynamical systems

Cites Work

• A note on linear recursive sequences
• Deux propriétés décidables des suites récurrentes linéaires
• An Exact Method for Finding the Roots of a Complex Polynomial
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Occurrence of zero in a linear recursive sequence