
A quasioptimal Monte Carlo algorithm for the symbolic solution of polynomial systems
in Z[X,Y],
with E. Mehrabi.
Submitted.
PDF.

A fast algorithm for computing the pcurvature,
with X. Caruso and A. Bostan
ISSAC'15, to appear.
PDF.

Faster algorithms for
multivariate interpolation with multiplicities and simultaneous polynomial approximations.
with M. Chowdhury, C.P. Jeannerod, V. Neiger and G. Villard.
IEEE Transactions on Information Theory, 61(5):23702387, 2015.
PDF.

A standard basis free algorithm for computing the tangent cones of a space curve
,
with P. Alvandi, M. Moreno Maza and P. Vrbik.
CASC'15, to appear.
PDF.

A quadratically convergent algorithm for structured lowrank approximation,
with P.J. Spaenlehauer
Foundations of Computational Mathematics, to appear.
PDF.

A simple and fast online power series multiplication and its analysis,
with R. Lebreton
Journal of Symbolic Computation, to appear.
PDF.

Computing in degree 2^kextensions of finite fields of odd characteristic,
with J. Doliskani
Design, codes and cryptography 74: 559569, 2015.
PDF.

Doing algebraic geometry with the RegularChains library
,
with P. Alvandi, C. Chen, S. Marcus, M. Moreno Maza and P. Vrbik.
ICMS'14, pp. 472479, Springer, 2014.
PDF.

A fast algorithm for computing the characteristic polynomial of the pcurvature,
with X. Caruso and A. Bostan
Proceedings ISSAC'14, pp. 5966, ACM, 2014.
PDF.

Fast arithmetic for the algebraic closure of finite fields,
with L. De Feo, J. Doliskani
Proceedings ISSAC'14, pp. 122129, ACM, 2014.
PDF.

On the complexity of solving bivariate systems: the case of nonsingular solutions,
with R. Lebreton, E. Mehrabi
Proceedings ISSAC'13, pp. 251258, ACM, 2013.
PDF.

Structured FFT and TFT: symmetric and lattice polynomials,
with J. van der Hoeven, R. Lebreton
Proceedings ISSAC'13, pp. 355362, ACM, 2013.
PDF.

Fast algorithms for ladic towers over finite fields,
with L. De Feo, J. Doliskani
Proceedings ISSAC'13, pp. 165172, ACM, 2013.
PDF.

A baby stepgiant step roadmap algorithm for general algebraic sets,
with S. Basu, M.F. Roy, M. Safey El Din
Foundations of Computational Mathematics, 14: 11171172, 2014.
PDF.

Algorithms for the universal decomposition algebra,
with R. Lebreton
Proceedings ISSAC'12, pp. 234241, ACM, 2012.
PDF.

Power series solutions of singular (q)differential equations,
with A. Bostan, M. F. I. Chowdhury, R. Lebreton and B. Salvy
Proceedings ISSAC'12, pp. 107114, ACM, 2012.
PDF.

Inversion modulo zerodimensional regular chains,
with M. Moreno Maza and P. Vrbik
Proceedings CASC'12, pp. 224235, Springer, 2012.
PDF.

On the complexity of computing with zerodimensional triangular sets,
with A. Poteaux
Journal of Symbolic Computation 50: 110138, 2013.
PDF.

Modular composition modulo triangular sets and applications,
with A. Poteaux
Computational Complexity 22: 463516, 2013.
PDF.

Taking roots over high extensions of finite fields,
with J. Doliskani
Mathematics of Computation 83: 435446, 2014.
PDF.

Genus 2 point counting over prime fields,
with P. Gaudry
Journal of Symbolic Computation 47 (4): 368400, 2012.
PDF.

Multipoint evaluation in higher dimensions,
with J. van der Hoeven
Applicable Algebra in Engineering, Communication and Computing 24 (1): 3752, 2013.
PDF.

Bitsize estimates for triangular sets in positive dimension,
with A. Kadri and X. Dahan
Journal of Complexity 28(1), 109135, 2012.
PDF.

Optimization techniques for small matrix multiplication,
with C.É. Drevet and Md. N. Islam
Theoretical Computer Science 412(22), 22192236, 2011.
PDF.

Transalpyne: a language for automatic transposition,
with L. De Feo
Communications in Computer Algebra 44 (3/4), 2010.
PDF.

The mopdn library: bringing fast polynomial arithmetic into Maple,
with X. Li and M. Moreno Maza and R. Rasheed
Journal of Symbolic Computation 46 (7), 841858, 2011.
PDF.

Homotopy methods for multiplication modulo triangular sets,
with A. Bostan, M. F. I. Chowdhury, J. van der Hoeven.
Journal of Symbolic Computation 46 (12), 13781402, 2011.
PDF.

Analytical solution of the tooling/workpiece contact interface shape during a flow forming operation,
with M. J. Roy, D. M. Maijera, R. J. Klassen, J. T. Wood.
Journal of Materials Processing Technology 210 (14), 19761985, 2010.
PDF.

A baby steps/giant steps probabilistic algorithm for computing roadmaps in
smooth bounded real hypersurface,
with M. Safey El Din.
Discrete and Computational Geometry 45 (1), 181220, 2011.
PDF.

On the geometry of polar varieties,
with B. Bank, M. Giusti, J. Heintz, M. Safey El Din.
Applicable Algebra in Engineering, Communication and Computing 21(1), 3383, 2010.
PDF.

Code generation for polynomial multiplication,
with L. Ding.
Proceedings CASC'09, pp. 6678, Springer, 2009.
PDF.

Interpolation of polynomials given by straightline programs,
with S. Garg.
Theoretical Computer Science, 410(2729), 26592662, 2009.
PDF.

A simple and fast algorithm for computing exponentials
of power series,
with A. Bostan.
Information Processing Letters 109(13), 754756, 2009.
PDF.

Fast algorithms for differential equations in positive characteristic,
with A. Bostan.
Proceedings ISSAC'09, pp. 4754, ACM Press, 2009.
PDF.

Fast arithmetics in ArtinSchreier towers over finite fields,
with L. De Feo
Proceedings ISSAC'09, pp. 127134, ACM Press, 2009.
PDF.
Journal version, Journal of Symbolic Computation, to appear.
PDF.

Evaluation properties of invariant polynomials,
with X. Dahan, J. Wu.
Journal of Symbolic Computation, 44(11): 15921604.
PDF.

Trinomial bases and Chinese remaindering for modular polynomial multiplication,
with A. Hariri.
Proceedings SAC'08, pp. 361372, Springer, 2009.
PDF.

Highperformance symbolic computation in a hybrid compiledinterpreted programming environment,
with X. Li, M. Moreno Maza, R. Rasheed.
Proceedings ICCSA'08, pp. 331341, IEEE, 2008.
PDF.

Fast conversion algorithms for orthogonal polynomials,
with A. Bostan, B. Salvy.
Linear Algebra and its Applications 432(1): 249258, 2010.
PDF.

Power series composition and change of basis,
with A. Bostan, B. Salvy.
Proceedings ISSAC'08, pp. 269276, ACM Press, 2008.
PDF.

Change of order for regular chains in positive dimension,
with X. Dahan, X. Jin, M. Moreno Maza.
Theoretical Computer Science 392(13): 3765, 2008.
PDF,
PS.

Fast algorithms for computing isogenies between elliptic curves,
with A. Bostan, F. Morain, B. Salvy.
Mathematics of Computation 77: 17551778, 2008.
PDF,
PS.

Modular equations for hyperelliptic curves, with P. Gaudry.
Mathematics of Computation 74: 429454, 2007.
PS,
PDF,
DVI.
The modular equation for 3torsion defined there.

Differential equations for algebraic functions,
with A. Bostan, F. Chyzak, G. Lecerf, B. Salvy.
Proceedings ISSAC'07, pp. 2532, ACM Press, 2007.
PDF.

Computing the eigenvalue in the
SchoofElkiesAtkin algorithm using Abelian lifts,
with F. Morain, P. Mihailescu.
Proceedings ISSAC'07, pp 285292, ACM Press, 2007.
PDF,
PS.

Fast Arithmetic for triangular sets: from theory to practice,
with X. Li, M. Moreno Maza.
Proceedings ISSAC'07, pp. 269276, ACM Press 2007.
PDF,
PS.
Journal version, Journal of Symbolic Computation 44(7):891907
PDF.

Solving Toeplitz and Vandermondelike linear systems with large displacement rank,
with A. Bostan, C.P. Jeannerod.
Proceedings ISSAC'07, pp. 3340, ACM Press, 2007.
PDF,
PS.
Solving structured linear systems with large displacement rank, journal version.
Theoretical Computer Science 407(13): 15518, 2008.
PDF,
PS.

Fast computation of power series solutions of systems of
differential equations, with A. Bostan, F. Chyzak, F. Ollivier,
B. Salvy, A. Sedoglavic.
Proceedings SODA'07, pp. 10121021, SIAM, 2007.
PDF,
PS.

Change of order for bivariate triangular sets,
with C. Pascal.
Proceedings ISSAC'06, pp. 277284, ACM Press, 2006.
PDF,
PS.

Implementation techniques for fast polynomial arithmetic in a highlevel
programming environment,
with A. Filatei, M. Moreno Maza, X. Li.
Proceedings ISSAC'06, pp. 93100, ACM Press, 2006.
PDF,
PS.

Primary decomposition of zerodimensional ideals: Putting
Monico's algorithm into practice (extended abstract),
with M. Moreno Maza, W. Zhou.
Transgressive Computing.
PDF,
PS.

On the complexity of the D5 principle,
with X. Dahan, M. Moreno Maza, Y. Xie.
Transgressive Computing.
PDF,
PS.

There is no reverse derivation mode for discrete derivatives.
Theoretical Computer Science 347(12): 299305, 2005.
PDF,
PS.

Lifting techniques for triangular decompositions,
with X. Dahan, M. Moreno Maza, W. Wu, Y. Xie.
Proceedings ISSAC'05, pp. 108115, ACM Press, 2005.
PDF.

Multivariate power series multiplication.
Proceedings ISSAC'05, pp. 293300, ACM Press, 2005.
PDF,
PS.

Evaluation properties of symmetric polynomials,
with P. Gaudry et N. Thiéry.
International Journal of Algebra and Computation 16(3): 505524, 2006.
PDF,
PS.

On the complexities of multipoint evaluation and interpolation,
with A. Bostan.
Theoretical Computer Science 329(13): 223235, 2004.
PDF,
PS.
 A lowmemory parallel version of Matsuo, Chao and Tsujii's algorithm, with P. Gaudry.
Proceedings ANTS 6, pp. 208222, Springer, 2006.
PDF,
PS.

Sharp estimates for triangular sets, with X. Dahan.
Proceedings ISSAC'04, pp. 103110, ACM Press, 2004.
PDF,
PS.

Complexity Issues in Bivariate Polynomial Factorization, with A. Bostan, G. Lecerf, B. Salvy, B. Wiebelt.
Proceedings ISSAC'04, pp. 4249, ACM Press, 2004.
PDF,
PS.

Fast Computation of Special Resultants, with A. Bostan, P. Flajolet, B. Salvy.
Journal of Symbolic Computation 41(1): 129, 2006.
PDF,
PS.

Polynomial evaluation and interpolation on special sets of
points, with A. Bostan.
Journal of Complexity 21(4): 420446, 2005.
PDF,
PS.

Construction of Secure Random Curves of Genus 2 over Prime Fields,
with P. Gaudry.
Proceedings Eurocrypt'04, pp. 239256, Springer, 2004.
PDF,
PS.

Properness Defects of Projections and Computation of One
Point in Each Connected Component of a Real Algebraic Set, with
M. Safey El Din.
Discrete and Computational Geometry 32(3): 417430, 2004.
PS,
PDF,
DVI.

Linear recurrences with polynomial coefficients and computation of
the CartierManin operator on hyperelliptic curves with
A. Bostan, P. Gaudry.
Proceedings Fq'7, pp. 4058, Springer, 2003.
PS,
PDF,
DVI.
Linear recurrences with polynomial coefficients and application to
integer factorization and CartierManin operator with
A. Bostan, P. Gaudry.
SIAM Journal on Computing 36(6): 17771806, 2007.
PS,
PDF.

Polar varieties and computation of one point in each connected
component of a smooth real algebraic set, with M. Safey El Din.
Proceedings ISSAC'03, pp. 224231, ACM Press, 2003.
PS,
PDF,
DVI.

Tellegen's principle into practice, with A. Bostan,
G. Lecerf.
Proceedings ISSAC'03, pp. 3744, ACM Press, 2003.
PS,
PDF,
DVI.

Degree bounds and lifting techniques for triangular sets.
Proceedings ISSAC'02, pp. 238245, ACM Press, 2002.
PS,
PDF,
DVI.
Complexity results for triangular sets, journal version.
Journal of Symbolic Computation 36(34): 555594, 2003.
PS,
PDF,
DVI.
 Fast Algorithms for ZeroDimensional Polynomial Systems Using
Duality, with A. Bostan, B. Salvy.
Applicable Algebra in Engineering, Communication and Computing 14(4):
239  272, 2003.
PS,
PDF,
DVI.

Uniform bounds for the number of rational points of
families of curves of genus 2, with
P. Gaudry, L. Kulesz, G. Matera.
Proceedings WAIT'2001, pp 109119, Anales JAIIO, 2001.
PS,
PDF,
DVI.
Uniform bounds for the number of rational points of families of
curves of genus 2, long version, with L. Kulesz, G. Matera.
Journal of Number Theory 108(2): 241267.
PS,
PDF,
DVI.

Fast Multivariate Power Series Multiplication in Characteristic
Zero, with G. Lecerf.
SADIO Electronic Journal 5(1), 2003.
PS,
PDF,
DVI.

Solving the Birkhoff Interpolation Problem via the Critical
Point Method: an experimental study, with F. Rouillier,
M. Safey El Din.
Proceedings ADG'2000 (LNAI 2061).
PS,
PDF,
DVI.

On the invariants of the quotients of the Jacobian of a curve
of genus 2, with P. Gaudry.
Proceedings AAECC 2001 (LNCS 2227), p 373386.
PS,
PDF,
DVI.
 Computing Parametric Geometric Resolutions.
Applicable Algebra
in Engineering, Communication and Computing 13(5): 349  393, 2003.
PS,
PDF,
DVI.

Solving some overdetermined polynomial systems, with
M. Giusti.
Proceedings ISSAC'99, pp. 18, ACM Press, 1999.
PS,
PDF,
DVI.
 Ph. D. Thesis.
PS.

Some known results on polynomial factorization
over towers of field extensions,
with G. Renault.
PDF.