-
A baby step-giant step roadmap algorithm for general algebraic sets,
with S. Basu, M.-F. Roy, M. Safey El Din
Submitted.
PDF.
-
Algorithms for the universal decomposition algebra,
with R. Lebreton
Proceedings ISSAC'12, pp. 234-241, 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. 107-114, ACM, 2012.
PDF.
-
Inversion modulo zero-dimensional regular chains,
with M. Moreno Maza and P. Vrbik
Proceedings CASC'12, pp. 224-235, Springer, 2012.
PDF.
-
On the complexity of computing with zero-dimensional triangular sets,
with A. Poteaux
Journal of Symbolic Computation, to appear.
PDF.
-
Modular composition modulo triangular sets and applications,
with A. Poteaux
Computational Complexity, to appear.
PDF.
-
Taking roots over high extensions of finite fields,
with J. Doliskani
Mathematics of Computation, to appear.
PDF.
-
Genus 2 point counting over prime fields,
with P. Gaudry
Journal of Symbolic Computation, to appear.
PDF.
-
Multipoint evaluation in higher dimensions,
with J. van der Hoeven
Applicable Algebra in Engineering, Communication and Computing, to appear.
PDF.
-
Bit-size estimates for triangular sets in positive dimension,
with A. Kadri and X. Dahan
Journal of Complexity 28(1), 109-135, 2012.
PDF.
-
Optimization techniques for small matrix multiplication,
with C.-É. Drevet and Md. N. Islam
Theoretical Computer Science 412(22), 2219-2236, 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), 841-858, 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), 1378-1402, 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), 1976-1985, 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), 181-220, 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), 33-83, 2010.
PDF.
-
Code generation for polynomial multiplication,
with L. Ding.
Proceedings CASC'09, pp. 66-78, Springer, 2009.
PDF.
-
Interpolation of polynomials given by straight-line programs,
with S. Garg.
Theoretical Computer Science, 410(27-29), 2659-2662, 2009.
PDF.
-
A simple and fast algorithm for computing exponentials
of power series,
with A. Bostan.
Information Processing Letters 109(13), 754-756, 2009.
PDF.
-
Fast algorithms for differential equations in positive characteristic,
with A. Bostan.
Proceedings ISSAC'09, pp. 47-54, ACM Press, 2009.
PDF.
-
Fast arithmetics in Artin-Schreier towers over finite fields,
with L. De Feo
Proceedings ISSAC'09, pp. 127-134, 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): 1592-1604.
PDF.
-
Trinomial bases and Chinese remaindering for modular polynomial multiplication,
with A. Hariri.
Proceedings SAC'08, pp. 361-372, Springer, 2009.
PDF.
-
High-performance symbolic computation in a hybrid compiled-interpreted programming environment,
with X. Li, M. Moreno Maza, R. Rasheed.
Proceedings ICCSA'08, pp. 331-341, IEEE, 2008.
PDF.
-
Fast conversion algorithms for orthogonal polynomials,
with A. Bostan, B. Salvy.
Linear Algebra and its Applications 432(1): 249-258, 2010.
PDF.
-
Power series composition and change of basis,
with A. Bostan, B. Salvy.
Proceedings ISSAC'08, pp. 269-276, 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(1-3): 37-65, 2008.
PDF,
PS.
-
Fast algorithms for computing isogenies between elliptic curves,
with A. Bostan, F. Morain, B. Salvy.
Mathematics of Computation 77: 1755-1778, 2008.
PDF,
PS.
-
Modular equations for hyperelliptic curves, with P. Gaudry.
Mathematics of Computation 74: 429-454, 2007.
PS,
PDF,
DVI.
The modular equation for 3-torsion defined there.
-
Differential equations for algebraic functions,
with A. Bostan, F. Chyzak, G. Lecerf, B. Salvy.
Proceedings ISSAC'07, pp. 25-32, ACM Press, 2007.
PDF.
-
Computing the eigenvalue in the
Schoof-Elkies-Atkin algorithm using Abelian lifts,
with F. Morain, P. Mihailescu.
Proceedings ISSAC'07, pp 285-292, ACM Press, 2007.
PDF,
PS.
-
Fast Arithmetic for triangular sets: from theory to practice,
with X. Li, M. Moreno Maza.
Proceedings ISSAC'07, pp. 269-276, ACM Press 2007.
PDF,
PS.
Journal version, Journal of Symbolic Computation 44(7):891-907
PDF.
-
Solving Toeplitz- and Vandermonde-like linear systems with large displacement rank,
with A. Bostan, C.-P. Jeannerod.
Proceedings ISSAC'07, pp. 33-40, ACM Press, 2007.
PDF,
PS.
Solving structured linear systems with large displacement rank, journal version.
Theoretical Computer Science 407(1-3): 155-18, 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. 1012-1021, SIAM, 2007.
PDF,
PS.
-
Change of order for bivariate triangular sets,
with C. Pascal.
Proceedings ISSAC'06, pp. 277-284, ACM Press, 2006.
PDF,
PS.
-
Implementation techniques for fast polynomial arithmetic in a high-level
programming environment,
with A. Filatei, M. Moreno Maza, X. Li.
Proceedings ISSAC'06, pp. 93-100, ACM Press, 2006.
PDF,
PS.
-
Primary decomposition of zero-dimensional 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(1-2): 299-305, 2005.
PDF,
PS.
-
Lifting techniques for triangular decompositions,
with X. Dahan, M. Moreno Maza, W. Wu, Y. Xie.
Proceedings ISSAC'05, pp. 108-115, ACM Press, 2005.
PDF.
-
Multivariate power series multiplication.
Proceedings ISSAC'05, pp. 293-300, 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): 505-524, 2006.
PDF,
PS.
-
On the complexities of multipoint evaluation and interpolation,
with A. Bostan.
Theoretical Computer Science 329(1-3): 223-235, 2004.
PDF,
PS.
- A low-memory parallel version of Matsuo, Chao and Tsujii's algorithm, with P. Gaudry.
Proceedings ANTS 6, pp. 208-222, Springer, 2006.
PDF,
PS.
-
Sharp estimates for triangular sets, with X. Dahan.
Proceedings ISSAC'04, pp. 103-110, ACM Press, 2004.
PDF,
PS.
-
Complexity Issues in Bivariate Polynomial Factorization, with A. Bostan, G. Lecerf, B. Salvy, B. Wiebelt.
Proceedings ISSAC'04, pp. 42-49, ACM Press, 2004.
PDF,
PS.
-
Fast Computation of Special Resultants, with A. Bostan, P. Flajolet, B. Salvy.
Journal of Symbolic Computation 41(1): 1-29, 2006.
PDF,
PS.
-
Polynomial evaluation and interpolation on special sets of
points, with A. Bostan.
Journal of Complexity 21(4): 420-446, 2005.
PDF,
PS.
-
Construction of Secure Random Curves of Genus 2 over Prime Fields,
with P. Gaudry.
Proceedings Eurocrypt'04, pp. 239-256, 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): 417-430, 2004.
PS,
PDF,
DVI.
-
Linear recurrences with polynomial coefficients and computation of
the Cartier-Manin operator on hyperelliptic curves with
A. Bostan, P. Gaudry.
Proceedings Fq'7, pp. 40-58, Springer, 2003.
PS,
PDF,
DVI.
Linear recurrences with polynomial coefficients and application to
integer factorization and Cartier-Manin operator with
A. Bostan, P. Gaudry.
SIAM Journal on Computing 36(6): 1777-1806, 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. 224-231, ACM Press, 2003.
PS,
PDF,
DVI.
-
Tellegen's principle into practice, with A. Bostan,
G. Lecerf.
Proceedings ISSAC'03, pp. 37-44, ACM Press, 2003.
PS,
PDF,
DVI.
-
Degree bounds and lifting techniques for triangular sets.
Proceedings ISSAC'02, pp. 238-245, ACM Press, 2002.
PS,
PDF,
DVI.
Complexity results for triangular sets, journal version.
Journal of Symbolic Computation 36(3-4): 555-594, 2003.
PS,
PDF,
DVI.
- Fast Algorithms for Zero-Dimensional 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 109-119, 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): 241-267.
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 373-386.
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. 1-8, 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.
