Journal articles

• [A21]
  Bruno de Malafosse, Ali Fares and A. Ayad
  On the solvability of certain (SSIE) and (SSE), with operators of the form B(r,s,t).
  Filomat, vol. 35, No. 12, 2021, p. 3957-3970.
  


• [A21]
  Ali Fares A. Ayad and Bruno de Malafosse
  Calculations on matrix transformations involving an infinite tridiagonal matrix.
  Axioms, vol. 10(3), 218, 2021.
  


• [A19]
  Bruno de Malafosse, Ali Fares and A. Ayad
  Solvability of some perturbed sequence spaces equations with operators.
  Filomat, vol. 33, No. 11, 2019, p. 3509-3519.
  


• [A18]
  Bruno de Malafosse, Ali Fares and A. Ayad
  Matrix transformations and application to perturbed problems of some sequence spaces equations with operators.
  Filomat, vol. 32, No. 14, 2018, p. 5123 - 5130.


• [A15]
  A. Ayad, Ali Fares, Youssef Ayyad and Raafat Tarraf
  Puiseux series solutions of ODEs.
  Electronic Journal of Differential Equations, vol. 135, 2015, p. 1 - 7.


• [A13]
  A. Ayad, Ali Fares and Youssef Ayyad
  Parametric euclidean algorithm.
  Theoretical Mathematics & Applications, vol. 3, No. 3, 2013, p. 13 - 21.


• [A12]
  A. Ayad, Ali Fares and Youssef Ayyad
  An algorithm for solving zero-dimensional parametric systems of polynomial homogeneous equations.
  J. Nonlinear Sci. Appl., vol 5, Issue 6 (2012), p. 426 - 438.


• [A12]
  Ali Fares and A. Ayad,
  Solvability of infinite differential systems of the form $x^{\prime }(t) =Tx(t)+b$ where $T$ is either of the triangles $C(\lambda)$ or $\overline{N}_{\! q}$.
  J. Nonlinear Sci. Appl., vol 5, Issue 6 (2012), p. 448 - 458.


• [A12]
  Ali Fares and A. Ayad,
  Application of the infinite matrix theory to the solvability of a system of differential equations.
  J. Nonlinear Sci. Appl., vol 5, Issue 6 (2012), p. 439 - 447.


• [A11]
  A. Ayad
  Complexity of solving parametric polynomial systems.
  Zap. Nauchn. Sem. S.-Peterburg . Otdel. Mat. Inst. Steklov. (POMI), vol. 387 (2011), p. 5 - 52.
  Translation to Journal of Mathematical Sciences (New York), SpringerLink, vol. 179, No. 6, December, 2011, p. 635 - 661.


• [A11]
  A. Ayad
  Newton polygons of polynomial ordinary differential equations.
  International Journal of Mathematical Analysis, vol. 5, no. 35 (2011), p. 1711 - 1718.


• [A11]
  A. Ayad
  A note on the computation of Puiseux series solutions of the Riccatti equation associated with a homogeneous linear ordinary differential equation.
  International Mathematical Forum, vol. 6, no. 46 (2011), p. 2255 - 2260.


• [A10]
  A. Ayad
  On computing absolutely irreducible components of parametric algebraic varieties of arbitrary dimension.
  Computing, Springer Wien New York, vol. 89, no. 1-2 (2010), p. 45 - 68.


• [A10]
  A. Ayad
  On factoring parametric multivariate polynomials.
  Adv. in Appl. Math., Elsevier, vol. 45, no. 4 (2010), p. 607 - 623.


• [AM10]
  A. Ayad & C. Marché
  Behavioral Properties of Floating-Point Programs.
  Submitted.


• [A10]
  A. Ayad
  A survey on the complexity of solving algebraic systems.
  International Mathematical Forum, vol. 5, no. 7 (2010), p. 333 - 353.


• [A10]
  A. Ayad
  Complexity of algorithms for computing greatest common divisors of parametric univariate polynomials.
  International Journal of Algebra, vol. 4, no. 4 (2010), p. 173 - 188.


• [A10]
  A. Ayad
  A lecture on the complexity of factoring polynomials over global fields.
  International Mathematical Forum, vol. 5, no. 10 (2010), p. 477 - 486.


• [A10]
  A. Ayad
  On the Riccatti differential polynomials.
  Acta Mathematica Universitatis Comenianae, vol. 2 (2010), p. 245 - 251.


• [A04]
  A. Ayad
  Complexity bound for the absolute factorization of parametric polynomials.
  Zap. Nauchn. Sem. S.-Peterburg . Otdel. Mat. Inst. Steklov. (POMI) 316, Teor. Slozhn. Vychisl. 9, 5--29, 224 (2004). Translation to Journal of Mathematical Sciences (New York), SpringerLink, 134 (2006), no. 5, p. 2325 - 2339.

Conference articles

• [AM10]
  A. Ayad & C. Marché
  Multi-Prover Verification of Floating-Point Programs. Dans IJCAR 2010 - 5th International Joint Conference on Automated Reasoning, J. Giesl and R. Hahnle (Eds.): IJCAR 2010, LNAI 6173, pp. 127-141, 2010. Springer-Verlag Berlin Heidelberg 2010 Edinburgh, UK, July 16-19, 2010.


• [A09]
  Article and Poster A. Ayad
  Deductive verification of floating-point programs in Frama-C.
  In MajecSTIC2009, Avignon, France, November 16-18, 2009.


• [A05]
  A. Ayad
  Factorization and Resolution of parametric polynomials.
  French national days for symbolic computations, JNCF 2005.

Talks

• [A12]
  A. Ayad
  Parametric euclidean algorithm.
  International Conference on Discrete Mathematics and Computer Science (DIMACOS) , Hadath, Beirut, Lebanon, November 2012.


• [A09]
  A. Ayad
  Behavioral study of floating-point numbers in C programs.
  Talk in the seminary of the Software Safety Laboratory LSL, Saclay, France, October 2009.


• [A06]
  A. Ayad
  Complexity of computing parametric G.C.Ds.
  Doctoral mathematics meetings, Rennes, France, May 2006.


• [A06]
  A. Ayad
  Complexity of the decomposition of parametric projective varieties into absolutely irreducible components.
  Seminary of the research group " Real Algebraic Geometry, Symbolic Computation and Cryptography", IRMAR, April 2006.


• [A05]
  A. Ayad
  Factorization and resolution of parametric polynomials.
  French national days for symbolic computations, JNCF 2005.


• [A05]
  A. Ayad
  Algorithm of absolute factorization of parametric multivariate polynomials.
  Seminary of the research group Real Algebraic Geometry, Symbolic Computation and Cryptography, IRMAR, February 2005.