Ali Ayad

Articles journaux

[A21]
Bruno de Malafosse, Ali Fares et 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 et Bruno de Malafosse
Calculations on matrix transformations involving an infinite tridiagonal matrix.
Axioms, vol. 10(3), 218, 2021.

[A19]
Bruno de Malafosse, Ali Fares et 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 et 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 et Raafat Tarraf
Puiseux series solutions of ODEs.
Electronic Journal of Differential Equations, vol. 135, 2015, p. 1 - 7.

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

[A12]
A. Ayad, Ali Fares et 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 et 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 et 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.
Translaté vers 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.
Soumis.

[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). Translaté vers Journal of Mathematical Sciences (New York), SpringerLink, 134 (2006), no. 5, p. 2325 - 2339.

Articles conférences

[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. H�hnle (Eds.): IJCAR 2010, LNAI 6173, pp. 127-141, 2010. Springer-Verlag Berlin Heidelberg 2010 Edinburgh, UK, July 16-19, 2010.

[A09]
Article et Poster A. Ayad
Vérification déductive de programmes flottants dans Frama-C.
Dans MajecSTIC2009, MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication, Avignon, France, 16-18 Novembre 2009.

[A05]
A. Ayad
Factorisation et Résolution des polynômes paramétrés.
Journées Nationales du Calcul Formel, JNCF 2005.

Exposés

[A12]
A. Ayad
Parametric euclidean algorithm.
International Conference on Discrete Mathematics and Computer Science (DIMACOS) , Hadath, Beyrouth, Liban, Novembre 2012.

[A09]
A. Ayad
Étude du comportement des nombres flottants dans les programmes C.
Exposé au séminaire du Laboratoire Sûreté des Logiciels LSL, Saclay, France, Octobre 2009.

[A06]
A. Ayad
Complexité du calcul de P.G.C.D. paramétrique.
Rencontres Doctorales Mathématiques, Rennes, Mai 2006.

[A06]
A. Ayad
Complexité de la décomposition des variétés projectives paramétrées en composantes absolument irréductibles.
Séminaire de l'équipe Géométrie Algébrique Réelle, Calcul Formel et Cryptographie , IRMAR, Avril 2006.

[A05]
A. Ayad
Factorisation et Résolution des polynômes paramétrés.
Journées Nationales du Calcul Formel, JNCF 2005.

[A05]
A. Ayad
Algorithme de factorisation absolue des polynômes paramétriques.
Séminaire de l'équipe Géométrie Algébrique Réelle, Calcul Formel et Cryptographie , IRMAR, Février 2005.

joomla statistics