@article{BerardiniCouvreurLecerf2022, author = {E. Berardini and A. Couvreur and G. Lecerf}, title = {A proof of the {B}rill--{N}oether method from scratch}, journal = {To appear in ACM Commun. Comput. Algebra}, year = {2022}, note = {\linkauthor{https://hal.archives-ouvertes.fr/hal-03762780}} } @article{AbelardCouvreurLecerf2022, author = {S. Abelard and A. Couvreur and G. Lecerf}, title = {Efficient computation of {R}iemann--{R}och spaces for plane curves with ordinary singularities}, journal = {Applicable Algebra in Engineering, Communication and Computing}, year = {2022}, note = {\linkpublisher{https://doi.org/10.1007/s00200-022-00588-x}, \linkauthor{https://hal.archives-ouvertes.fr/hal-03110135}} } @article{vdH:genamp, author = {Hoeven, J. van der and Lecerf, G.}, title = {Amortized multi-point evaluation of multivariate polynomials}, journal = {Journal of Complexity}, year = {2022}, volume = {74}, pages = {101693}, note = {\linkpublisher{https://doi.org/10.1016/j.jco.2022.101693}, \linkauthor{https://hal.archives-ouvertes.fr/hal-03503021}} } @article{AbelardBerardiniCouvreurLecerf2022, author = {S. Abelard and E. Berardini and A. Couvreur and G. Lecerf}, title = {Computing {R}iemann--{R}och spaces via {P}uiseux expansions}, journal = {Journal of Complexity}, year = {2022}, volume = {73}, pages = {101666}, note = {\linkpublisher{https://doi.org/10.1016/j.jco.2022.101666}, \linkauthor{https://hal.archives-ouvertes.fr/hal-03281757}} } @article{vdH:fffact, author = {Hoeven, J. van der and Lecerf, G.}, title = {Univariate polynomial factorization over finite fields with large extension degree}, journal = {Applicable Algebra in Engineering, Communication and Computing}, year = {2022}, note = {\linkpublisher{https://doi.org/10.1007/s00200-021-00536-1}, \linkauthor{https://hal.archives-ouvertes.fr/hal-03019847}} } @article{vdH:amp, author = {Hoeven, J. van der and Lecerf, G.}, title = {Fast amortized multi-point evaluation}, journal = {Journal of Complexity}, year = {2021}, volume = {67}, pages = {101574}, note = {\linkpublisher{https://doi.org/10.1016/j.jco.2021.101574}, \linkauthor{https://hal.archives-ouvertes.fr/hal-02508529}} } @article{vdH:sparserat, author = {Hoeven, J. van der and Lecerf, G.}, title = {On sparse interpolation of rational functions and gcds}, year = {2021}, volume = {55}, number = {1}, journal = {ACM Commun. Comput. Algebra}, pages = {1--12}, note = {\linkpublisher{https://doi.org/10.1145/3466895.3466896}, \linkauthor{https://hal.archives-ouvertes.fr/hal-02999695}} } @article{vdH:zcomp, author = {Hoeven, J. van der and Lecerf, G.}, title = {Ultimate Complexity for Numerical Algorithms}, year = {2020}, volume = {54}, number = {1}, journal = {ACM Commun. Comput. Algebra}, pages = {1--13}, note = {\linkpublisher{https://dx.doi.org/10.1145/3419048.3419049}, \linkauthor{https://hal.archives-ouvertes.fr/hal-03013416}} } @article{vdH:resultant, author = {Hoeven, J. van der and Lecerf, G.}, title = {Fast computation of generic bivariate resultants}, journal = {Journal of Complexity}, volume = {62}, pages = {101499}, year = {2021}, note = {\linkpublisher{https://doi.org/10.1016/j.jco.2020.101499}, \linkauthor{https://hal.archives-ouvertes.fr/hal-02080426}} } @article{vdH:direval, author = {Hoeven, J. van der and Lecerf, G.}, title = {Directed evaluation}, journal = {Journal of Complexity}, pages = {101498}, volume = {60}, year = {2020}, note = {\linkpublisher{https://doi.org/10.1016/j.jco.2020.101498}, \linkauthor{https://hal.archives-ouvertes.fr/hal-01966428}} } @article{vdH:polexp, author = {Hoeven, J. van der and Lecerf, G.}, title = {On the complexity exponent of polynomial system solving}, journal = {Found. Comput. Math.}, year = {2021}, volume = {21}, pages = {1--57}, note = {\linkpublisher{https://doi.org/10.1007/s10208-020-09453-0}, \linkauthor{http://hal.archives-ouvertes.fr/hal-01848572}} } @article{vdH:kucomp, author = {Hoeven, J. van der and Lecerf, G.}, title = {Fast multivariate multi-point evaluation revisited}, journal = {Journal of Complexity}, volume = 56, pages = {101405}, year = {2020}, note = {\linkpublisher{https://doi.org/10.1016/j.jco.2019.04.001}, \linkauthor{http://hal.archives-ouvertes.fr/hal-01848571}} } @article{HoLe2019:tower, author = {Hoeven, J. van der and Lecerf, G.}, title = {Accelerated tower arithmetic}, journal = {Journal of Complexity}, volume = 55, pages = {101402}, year = {2019}, note = {\linkpublisher{https://doi.org/10.1016/j.jco.2019.03.002}, \linkauthor{https://hal.archives-ouvertes.fr/hal-01788403}} } @article{HoLe2018, author = {Hoeven, J. van der and Lecerf, G.}, title = {Modular composition via factorization}, journal = {Journal of Complexity}, volume = 48, pages = {36--68}, year = {2018}, note = {\linkpublisher{https://doi.org/10.1016/j.jco.2018.05.002}, \linkauthor{http://hal.archives-ouvertes.fr/hal-01457074}} } @article{Lecerf2019, author = {G. Lecerf}, title = {On the complexity of the {L}ickteig--{R}oy subresultant algorithm}, journal = {J.~Symbolic Comput.}, year = 2019, volume = 92, pages = {243--268}, note = {\linkpublisher{https://doi.org/10.1016/j.jsc.2018.04.017}, \linkauthor{https://hal.archives-ouvertes.fr/hal-01450869}} } @article{HarveyHoevenLecerf2014b, title = {Faster polynomial multiplication over finite fields}, author = {Harvey, David and Hoeven, Joris van der and Lecerf, Gr{\'e}goire}, journal = {Journal of the ACM}, year = {2017}, volume = 63, number = 6, note = {Article~52. \linkpublisher{https://doi.org/10.1145/3005344}, \linkauthor{http://arxiv.org/abs/1407.3361}}, } @article{HarveyHoevenLecerf2016a, title = {Even faster integer multiplication}, author = {Harvey, David and Hoeven, Joris van der and Lecerf, Gr{\'e}goire}, journal = {Journal of Complexity}, volume = 36, pages = {1--30}, year = {2016}, note = {\linkpublisher{http://dx.doi.org/10.1016/j.jco.2016.03.001}, \linkauthor{http://arxiv.org/abs/1407.3360}} } @article{LecerfSaade2016, title = {A short survey on {K}antorovich-like theorems for {N}ewton's method}, author = {Lecerf, Gr{\'e}goire and Joelle Saad{\'e}}, year = 2016, journal = {ACM Commun. Comput. Algebra}, volume = 50, number = 1, pages = {1--11}, note = {\linkauthor{http://hal.archives-ouvertes.fr/hal-01196890}} } @article{HoevenLecerfQuintin2016, title = {Modular {SIMD} arithmetic in {Mathemagix}}, author = {Hoeven, Joris van der and Lecerf, Gr{\'e}goire and Quintin, Guillaume}, year = {2016}, journal = {ACM Transactions on Mathematical Software}, volume = 43, number = 1, note = {Article~5. \linkpublisher{http://dx.doi.org/10.1145/2876503}, \linkauthor{http://hal.archives-ouvertes.fr/hal-01022383}}, } @article{GrenetHoevenLecerf2016, title = {Deterministic root finding over finite fields using {G}raeffe transforms}, author = {Grenet, Bruno and Hoeven, Joris van der and Lecerf, Gr{\'e}goire}, journal = {Applicable Algebra in Engineering, Communication and Computing}, volume = 27, number = 3, pages = {237--257}, year = {2016}, note = {\linkpublisher{http://dx.doi.org/10.1007/s00200-015-0280-5}, \linkauthor{http://hal.archives-ouvertes.fr/hal-01104251}.} } @article{HoevenLecerf2014, title = {Sparse polynomial interpolation in practice}, author = {Hoeven, Joris van der and Lecerf, Gr{\'e}goire}, journal = {ACM Commun. Comput. Algebra}, volume = 48, number = 4, year = {2014}, note = {In section "ISSAC 2014 Software Presentations. \linkauthor{http://hal.archives-ouvertes.fr/hal-00980366}.}, } @Article{BaGiHeLeMaSo2013, author = {B. Bank and M. Giusti and J. Heintz and G. Lecerf and G. Matera and P. Solern\'{o}}, title = {Degeneracy loci and polynomial equation solving}, journal = {Foundations of Computational Mathematics}, volume = 15, number = 1, pages = {159--184}, note = {\linkauthor{http://arxiv.org/abs/1306.3390}}, year = 2015 } @Article{HoGrBuLePoRa2013, author = {van der Hoeven, J. and A. Grozin and M. Gubinelli and G. Lecerf and F. Poulain and D. Raux}, title = {{GNU} {\TeX macs}: a scientific editing platform}, journal = {ACM SIGSAM Communications in Computer Algebra}, year = {2013}, volume = {47}, number = {2}, pages = {59--62}, note = {\linkauthor{http://hal.archives-ouvertes.fr/hal-00687490}} } @article{BeLeQu2013, author = {Berthomieu, J. and Lecerf, G. and Quintin, G.}, title = {Polynomial root finding over local rings and application to error correcting codes}, journal = {Applicable Algebra in Engineering, Communication and Computing}, year = {2013}, volume = {24}, number = {6}, pages = {413--443}, note = {\linkpublisher{http://dx.doi.org/10.1007/s00200-013-0200-5}, \linkauthor{http://hal.inria.fr/hal-00642075}} } @article{HoevenLecerf2013, author = {van der Hoeven, J. and Lecerf, G.}, title = {On the bit-complexity of sparse polynomial and series multiplication}, journal = {J. Symbolic Comput.}, volume = {50}, pages = {227--254}, year = {2013}, note = {\linkpublisher{http://dx.doi.org/10.1016/j.jsc.2012.06.004}, \linkauthor{http://hal.archives-ouvertes.fr/hal-00476223}} } @article{BeLe2012, author = {Berthomieu, J. and Lecerf, G.}, title = {Reduction of bivariate polynomials from convex-dense to dense, with application to factorizations}, journal = {Math. Comp.}, volume = 81, number = 279, year = 2012, note = {\linkpublisher{http://www.ams.org/journals/mcom/2012-81-279/S0025-5718-2011-02562-7}, \linkauthor{http://hal.archives-ouvertes.fr/hal-00526659}} } @Article{HoLeMoTrBeDiMa2011, author = {J. van der Hoeven and G. Lecerf and B. Mourain and Ph. Tr{\'e}buchet and J. Berthomieu and D. Diatta and A. Mantzaflaris}, title = {Mathemagix, the quest of modularity and efficiency for symbolic and certified numeric computation}, journal = {ACM SIGSAM Communications in Computer Algebra}, year = 2011, volume = 177, number = 3, note = {In Section "ISSAC 2011 Software Demonstrations", edited by M. Stillman, p.~166--188. \linkauthor{http://www.texmacs.org/joris/issac11/issac11.pdf}} } @article{BeHoLe2011, author = {Berthomieu, J. and Hoeven, J. van der and Lecerf, G.}, title = {Relaxed algorithms for p-adic numbers}, journal = {Journal de th\'eorie des nombres de {Bordeaux}}, volume = 23, number = 3, year = {2011}, note = {\linkpublisher{https://doi.org/10.5802/jtnb.777}, \linkauthor{http://hal.archives-ouvertes.fr/hal-00486680/}} } @article{Lecerf2010, author = {G. Lecerf}, title = {New Recombination Algorithms for Bivariate Polynomial Factorization Based on {H}ensel Lifting}, journal = {Applicable Algebra in Engineering, Communication and Computing}, year = {2010}, volume = 21, number = 2, pages= {151--176}, note = {\linkpublisher{http://dx.doi.org/10.1007/s00200-010-0121-5}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/Lecerf:2007:nrabpfbhl.pdf}} } @article{Lecerf2008, author = {G. Lecerf}, title = {Fast Separable Factorization and Applications}, journal = {Applicable Algebra in Engineering, Communication and Computing}, volume = 19, number = 2, pages = {135--160}, year = 2008, note = {\linkpublisher{http://dx.doi.org/10.1007/s00200-008-0062-4}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/Lecerf:2007:fsfa.pdf}} } @article{DuLe2006, author = {C. Durvye and G. Lecerf}, title = {A Concise Proof of the {K}ronecker Polynomial System Solver from Scratch}, volume = 26, number = 2, year = 2007, journal = {Expositiones Mathematicae}, note = {\linkpublisher{http://dx.doi.org/10.1016/j.exmath.2007.07.001 }, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/DuLe:2006:cpkpsss.pdf}} } @article{ChLe2007, author = {G. Chèze and G. Lecerf}, title = {Lifting and Recombination Techniques for Absolute Factorization}, journal = {Journal of Complexity}, volume = {23}, number = {3}, pages = {380--420}, year = {2007}, note = {\linkpublisher{http://dx.doi.org/10.1016/j.jco.2007.01.008}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/ChLe:2005:lrtaf.pdf}} } @article{Lecerf2007, author = {G. Lecerf}, title = {Improved Dense Multivariate Polynomial Factorization Algorithms}, journal = {Journal of Symbolic Computation}, volume = 42, number = 4, pages = {477--494}, year = 2007, note = {\linkpublisher{http://dx.doi.org/10.1016/j.jsc.2007.01.003}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/Lecerf:2005:idmpfa.pdf}} } @article{GiLeSaYa2007, author = {M. Giusti and G. Lecerf and B. Salvy and J.-C. Yakoubsohn}, title = {On Location and Approximation of Clusters of Zeros: Case of Embedding Dimension One}, journal = {Foundations of Computational Mathematics}, VOLUME = {7}, YEAR = {2007}, NUMBER = {1}, PAGES = {1--49}, note = {\linkpublisher{http://dx.doi.org/10.1007/s10208-004-0159-5}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/GiLeSaYa:2004:laczcedo.pdf}} } @article{Lecerf2006, author = {G. Lecerf}, title = {Sharp Precision in {H}ensel Lifting for Bivariate Polynomial Factorization}, journal = {Mathematics of Computation}, volume = 75, year = 2006, pages = {921-933}, note = {\linkpublisher{http://dx.doi.org/10.1090/S0025-5718-06-01810-2}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/Lecerf:2004:bivfact.pdf}}, } @article{GiLeSaYa2005, author = {M. Giusti and G. Lecerf and B. Salvy and J.-C. Yakoubsohn}, title = {On Location and Approximation of Clusters of Zeros of Analytic Functions}, journal = {Foundations of Computational Mathematics}, Number = {3}, Pages = {257--311}, Volume = {5}, Year = {2005}, note = {\linkpublisher{http://dx.doi.org/10.1007/s10208-004-0144-z}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/GiLeSaYa:2004:laczaf.pdf}} } @Article{LeSc2001, author = {G. Lecerf and É. Schost}, title = {Fast Multivariate Power Series Multiplication in Characteristic Zero}, journal = {SADIO Electronic Journal on Informatics and Operations Research}, volume = 5, number = 1, month = {September}, year = 2003, pages = {1--10}, note = {\linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/LeSc:2001:fmsp.pdf}}, } @Article{Lecerf2003, author = {G. Lecerf}, title = {Computing the Equidimensional Decomposition of an Algebraic Closed Set by means of Lifting Fibers}, journal = {Journal of Complexity}, VOLUME = {19}, YEAR = {2003}, NUMBER = {4}, PAGES = {564--596}, note = {\linkpublisher{http://dx.doi.org/10.1016/S0885-064X(03)00031-1}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/Lecerf:2002:equidec.pdf}} } @Article{Lecerf2001, author = {G. Lecerf}, title = {Quadratic {N}ewton Iteration for Systems with Multiplicity}, journal = {Foundations of Computational Mathematics}, year = 2002, volume = 2, number = 3, pages = {247-293}, note = {\linkpublisher{http://dx.doi.org/10.1007/s102080010026}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/Lecerf:2001:fda.pdf}} } @Article{GiLeSa2001, author = {M. Giusti and G. Lecerf and B. Salvy}, title = {A {G}röbner Free Alternative for Polynomial System Solving}, journal = {Journal of Complexity}, year = 2001, volume = 17, number = 1, pages = {154--211}, note = {\linkpublisher{http://dx.doi.org/10.1006/jcom.2000.0571}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/GiLeSa:1999:kro-focm99.pdf}} } @article {GiHaLeMaSa2000, AUTHOR = {Giusti, M. and H{\"a}gele, K. and Lecerf, G. and Marchand, J. and Salvy, B.}, TITLE = {The projective {N}oether {M}aple package: computing the dimension of a projective variety}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {30}, YEAR = {2000}, NUMBER = {3}, PAGES = {291--307}, note = {\linkpublisher{http://dx.doi.org/10.1006/jsco.2000.0369}, \linkauthor{http://www.lix.polytechnique.fr/\~{}lecerf/publications/GiHaLeMaSa:1998:pnp.pdf}} }