A comparison of algorithms for proving positivity of linearly recurrent sequences (Q2109988): Difference between revisions

@@ 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.1007/978-3-031-14788-3_15
+Normal rank
@@ Property / OpenAlex ID @@
+W4299831618
@@ Property / OpenAlex ID: W4299831618 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4421931
@@ Property / cites work: Q4421931 / rank @@
+Normal rank
@@ Property / cites work @@
+A procedure for proving special function inequalities involving a discrete parameter
+Normal rank
@@ Property / cites work @@
+Effective asymptotics of linear recurrences with rational coefficients
+Normal rank
@@ Property / cites work @@
+Positivity of second order linear recurrent sequences
+Normal rank
@@ Property / cites work @@
+Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
+Normal rank
@@ Property / cites work @@
+SumCracker: A package for manipulating symbolic sums and related objects
+Normal rank
@@ Property / cites work @@
+Bounds for D-finite closure properties
@@ Property / cites work: Bounds for D-finite closure properties / rank @@
+Normal rank
@@ Property / cites work @@
+Integral D-Finite Functions
@@ Property / cites work: Integral D-Finite Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Ore Polynomials in Sage
@@ Property / cites work: Ore Polynomials in Sage / rank @@
+Normal rank
@@ Property / cites work @@
+The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
+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 @@
+Q3671245
@@ Property / cites work: Q3671245 / rank @@
+Normal rank
@@ Property / cites work @@
+Positivity Problems for Low-Order Linear Recurrence Sequences
+Normal rank
@@ Property / cites work @@
+Positivity of certain sums over Jacobi kernel polynomials
+Normal rank
@@ Property / cites work @@
+Termination conditions for positivity proving procedures
+Normal rank
@@ Property / cites work @@
+On the positivity of the Gillis-Reznick-Zeilberger rational function
+Normal rank
@@ Property / cites work @@
+Q4236280
@@ Property / cites work: Q4236280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5149828
@@ Property / cites work: Q5149828 / 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 @@
+Q4227278
@@ Property / cites work: Q4227278 / rank @@
+Normal rank