Alaa Ibrahim

I am a PhD student in Computer Algebra at ENS Lyon, where I am a member of the ARIC team at LIP.
My supervisors are Bruno Salvy, Mohab Safey El Din, and Alin Bostan.

I am particularly interested in the positivity problem for P-finite sequences, exploring approaches and
techniques in the intersection of linear algebra and computer algebra.

Publications

Positivity certificates for linear recurrences (with Bruno Salvy).
Published in Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), SIAM.
Positivity certificates for P-recursive sequences
Poster in ISSAC 2023.

Preprints

Positivity Proofs for Linear Recurrences through Contracted Cones (with Bruno Salvy).
arXiv: 2412.08576, Decembre 2024.
Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues .
arXiv: 2503.14264, March 2025.

Talks

JNCF 2025, Marseille, France Slides
SODA 2024, Virginia, USA
Journées annuelles NUSCAP 2024, Paris, France
Les journées nationales de calcul formel JNCF 2023, Marseille, France
SIAM Conference on Applied Algebraic Geometry 2023, Eindhoven, Netherlands

My CV

Download my CV in French here, and my CV in English here.