Pages that link to "Item:Q4094921"
From MaRDI portal
The following pages link to Deux propriétés décidables des suites récurrentes linéaires (Q4094921):
Displaying 35 items.
- Testing degenerate polynomials (Q429757) (← links)
- On some decidability problems for HDOL systems with nonsingular Parikh matrices (Q599513) (← links)
- The continuous Skolem-Pisot problem (Q708215) (← links)
- Positivity of third order linear recurrence sequences (Q967380) (← links)
- Occurrence of zero in a linear recursive sequence (Q1077447) (← links)
- Decidability of ''Skolem matrix emptiness problem'' entails constructability of exact regular expression (Q1171048) (← links)
- Positive rational sequences (Q1231782) (← links)
- Zeros of Z-rational functions and DOL equivalence (Q1237362) (← links)
- Intersection des images de certaines suites recurrentes linéaires (Q1252367) (← links)
- A modular method for computing the Galois groups of polynomials (Q1358933) (← links)
- On recurrence sequences with polynomial coefficients (Q1372594) (← links)
- On D0L power series (Q1575708) (← links)
- Effective results on the Skolem problem for linear recurrence sequences (Q1634425) (← links)
- Explicit test sets for iterated morphisms in free monoids and metabelian groups (Q1763708) (← links)
- Effective asymptotics of linear recurrences with rational coefficients (Q1917520) (← links)
- On the multiplicities of Padovan-type sequences (Q2091206) (← links)
- An extension of holonomic sequences: \(C^2\)-finite sequences (Q2100068) (← links)
- Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
- Recurrence relations, succession rules and the positivity problem (Q2424677) (← links)
- Fast computation of special resultants (Q2457312) (← links)
- Positivity of second order linear recurrent sequences (Q2489940) (← links)
- An \(n^2\)-bound for the ultimate equivalence problem of certain D0L systems over an \(n\)-letter alphabet (Q2575836) (← links)
- Recurrence Relations, Succession Rules, and the Positivity Problem (Q2799201) (← links)
- Reachability in Linear Dynamical Systems (Q3507439) (← links)
- D0L sequence equivalence is in<i>P</i>for fixed alphabets (Q3515467) (← links)
- Computing Omega-Limit Sets in Linear Dynamical Systems (Q3543335) (← links)
- (Q4152746) (← links)
- (Q4159118) (← links)
- RESULTS CONCERNING THINNESS OF D0L LANGUAGES (Q4786244) (← links)
- ROOTS OF UNITY AS QUOTIENTS OF TWO ROOTS OF A POLYNOMIAL (Q4899944) (← links)
- On the zero-multiplicity of the <i>k</i>-generalized Fibonacci sequence (Q4963885) (← links)
- On the Skolem problem and some related questions for parametric families of linear recurrence sequences (Q5080876) (← links)
- (Q5155677) (← links)
- On the abc$abc$ conjecture in algebraic number fields (Q6144275) (← links)
- Solving Skolem's problem for the \(k\)-generalized Fibonacci sequence with negative indices (Q6187125) (← links)
