-
On the Conservatism of the Sum-of-Squares Method for Analysis of Time-Delayed...
International audience -
Proving formally the implementation of an efficient gcd algorithm for polynom...
Last version published in the proceedings of IJCAR 06, part of FLOC 06. -
Monomials in arithmetic circuits: Complete problems in the counting hierarchy
International audience -
Speed of sound, density, and compressibility of alkyl-benzenes as a function ...
International audience -
On the mixed discretization of the time domain magnetic field integral equation
International audience -
A polynomial approach for extracting the extrema of a spherical function and ...
International audience -
Improved Three-Way Split Formulas for Binary Polynomial and Toeplitz Matrix V...
International audience -
Nearly Optimal Computations with Structured Matrices
International audience -
Accelerated Approximation of the Complex Roots of a Univariate Polynomial (Ex...
International audience -
Certification des preuves de terminaison par interprétations polynomiales
Stage de DEA. Rapport de stage.
