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.