Positivity proofs for linear recurrences through contracted cones
From MaRDI portal
Cites work
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- A Geometric Theory for the QR, LU and Power Iterations
- A hypergeometric proof that \(\mathsf{Iso}\) is bijective
- A procedure for proving special function inequalities involving a discrete parameter
- An algebraic approach to the construction of polyhedral invariant cones
- An efficient procedure deciding positivity for a class of holonomic functions
- Automated generation of non-linear loop invariants utilizing hypergeometric sequences
- Complete monotonicity for inverse powers of some combinatorially defined polynomials
- Convergence of products of matrices in projective spaces
- Diagonals of rational fractions
- Effective asymptotics of linear recurrences with rational coefficients
- Effective bounds for P-recursive sequences
- scientific article; zbMATH DE number 1268810 (Why is no real title available?)
- scientific article; zbMATH DE number 1022519 (Why is no real title available?)
- scientific article; zbMATH DE number 5224557 (Why is no real title available?)
- scientific article; zbMATH DE number 7724240 (Why is no real title available?)
- Invariant generation for multi-path loops with polynomial assignments
- On Elementary Methods in Positivity Theory
- On the Core of a Cone-Preserving Map
- On the positivity of the Gillis-Reznick-Zeilberger rational function
- On the positivity problem for simple linear recurrence sequences
- On the Skolem problem for reversible sequences
- Positivity certificates for linear recurrences
- Positivity of certain sums over Jacobi kernel polynomials
- Positivity of rational functions and their diagonals
- Positivity problems for low-order linear recurrence sequences
- Positivity problems for reversible linear recurrence sequences
- Reduction-based creative telescoping for definite summation of D-finite functions
- Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes
- Spectral Properties of Matrices which have Invariant Cones
- Termination conditions for positivity proving procedures
- Trusting computations: a mechanized proof from partial differential equations to actual program
- Uniqueness of Clifford torus with prescribed isoperimetric ratio
- When can we detect that a P-finite sequence is positive?
This page was built for publication: Positivity proofs for linear recurrences through contracted cones
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6890945)
