J. Ouaknine

Latest

• On Positivity and Minimality for Second-Order Holonomic Sequences
• On Inequality Decision Problems for Low-Order Holonomic Sequences
• On the Skolem Problem and prime powers