Analyzing ultimate positivity for solvable systems (Q897909): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2015.10.023
@@ Property / DOI: 10.1016/j.tcs.2015.10.023 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.10.023
+Normal rank
@@ Property / OpenAlex ID @@
+W2179190542
@@ Property / OpenAlex ID: W2179190542 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+The continuous Skolem-Pisot problem
@@ Property / cites work: The continuous Skolem-Pisot problem / rank @@
+Normal rank
@@ Property / cites work @@
+The presence of a zero in an integer linear recurrent sequence is NP-hard to decide
+Normal rank
@@ Property / cites work @@
+Q3770650
@@ Property / cites work: Q3770650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum automata and algebraic groups
@@ Property / cites work: Quantum automata and algebraic groups / rank @@
+Normal rank
@@ Property / cites work @@
+Positivity of second order linear recurrent sequences
+Normal rank
@@ Property / cites work @@
+A simple proof of the Skolem-Mahler-Lech theorem
@@ Property / cites work: A simple proof of the Skolem-Mahler-Lech theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856819
@@ Property / cites work: Q3856819 / rank @@
+Normal rank
@@ Property / cites work @@
+When can we detect that a P-finite sequence is positive?
+Normal rank
@@ Property / cites work @@
+Positivity of third order linear recurrence sequences
+Normal rank
@@ Property / cites work @@
+A note on recurring series
@@ Property / cites work: A note on recurring series / rank @@
+Normal rank
@@ Property / cites work @@
+Q3697106
@@ Property / cites work: Q3697106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671245
@@ Property / cites work: Q3671245 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Positivity Problem for Simple Linear Recurrence Sequences,
+Normal rank
@@ Property / cites work @@
+Positivity Problems for Low-Order Linear Recurrence Sequences
+Normal rank
@@ Property / cites work @@
+Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
+Normal rank
@@ Property / cites work @@
+Barrier certificates for nonlinear model validation
+Normal rank
@@ Property / cites work @@
+Generating all polynomial invariants in simple loops
+Normal rank
@@ Property / cites work @@
+Q5684248
@@ Property / cites work: Q5684248 / rank @@
+Normal rank
@@ Property / cites work @@
+Transcendental Numbers. (AM-16)
@@ Property / cites work: Transcendental Numbers. (AM-16) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Occurrence of zero in a linear recursive sequence
@@ Property / cites work: Occurrence of zero in a linear recursive sequence / rank @@
+Normal rank
@@ Property / cites work @@
+TERMINATION ANALYSIS OF LINEAR LOOPS
@@ Property / cites work: TERMINATION ANALYSIS OF LINEAR LOOPS / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic termination analysis of solvable loops
@@ Property / cites work: Symbolic termination analysis of solvable loops / rank @@
+Normal rank
@@ Property / cites work @@
+Some decidable results on reachability of solvable systems
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2015.10.023
@@ Property / DOI: 10.1016/J.TCS.2015.10.023 / rank @@
+Normal rank