Positivity Certificates for Linear Recurrences

Alaa Ibrahim, Bruno Salvy. Positivity Certificates for Linear Recurrences. In David P. Woodruff, editor, Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, SODA 2024, Alexandria, VA, USA, January 7-10, 2024. pages 982-994, SIAM, 2024. [doi]

Abstract

Abstract is missing.