Ali Ayad

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Ali Fares, Ali Ayad, Bruno de Malafosse
Calculations on Matrix Transformations Involving an Infinite Tridiagonal Matrix. Axioms 10 (3) (2021)
Ali Ayad
On factoring parametric multivariate polynomials. Adv. Appl. Math. 45 (4) (2010)
Ali Ayad
On computing absolutely irreducible components of algebraic varieties with parameters. Computing 89 (1-2) (2010)
Ali Ayad, Claude Marché
Multi-Prover Verification of Floating-Point Programs. IJCAR (2010)