TY - RPRT TI - Positivity Proofs for Linear Recurrences through Contracted Cones AU - Alaa Ibrahim AU - Bruno Salvy PY - 2024 UR - https://arxiv.org/abs/2412.08576 ID - 2412.08576 ER -