msolve: A library for solving polynomial systems J Berthomieu, C Eder, M Safey El Din Proceedings of the 2021 on International Symposium on Symbolic and Algebraic …, 2021 | 50 | 2021 |
Polynomial root finding over local rings and application to error correcting codes J Berthomieu, G Lecerf, G Quintin Applicable Algebra in Engineering, Communication and Computing 24 (6), 413-443, 2013 | 39 | 2013 |
Relaxed algorithms for -adic numbers J Berthomieu, J van der Hoeven, G Lecerf Journal de théorie des nombres de Bordeaux 23 (3), 541-577, 2011 | 30 | 2011 |
Linear algebra for computing Gröbner bases of linear recursive multidimensional sequences J Berthomieu, B Boyer, JC Faugère Journal of Symbolic Computation 83, 36-67, 2017 | 27 | 2017 |
Relaxed p-adic Hensel lifting for algebraic systems J Berthomieu, R Lebreton Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012 | 26 | 2012 |
Computing Hironaka’s invariants: ridge and directrix J Berthomieu, P Hivert, H Mourtada Arithmetic, Geometry, Cryptography and Coding Theory 2009 521, 9-20, 2010 | 25 | 2010 |
Polynomial-time algorithms for quadratic isomorphism of polynomials: The regular case J Berthomieu, JC Faugère, L Perret Journal of Complexity 31 (4), 590-616, 2015 | 24* | 2015 |
Reduction of bivariate polynomials from convex-dense to dense, with application to factorizations J Berthomieu, G Lecerf Mathematics of Computation 81 (279), 1799-1821, 2012 | 20* | 2012 |
Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation? J van der Hoeven, G Lecerf, B Mourrain, P Trébuchet, J Berthomieu, ... ACM Communications in Computer Algebra 45 (3/4), 186-188, 2012 | 19 | 2012 |
Faster change of order algorithm for Gröbner bases under shape and stability assumptions J Berthomieu, V Neiger, M Safey El Din Proceedings of the 2022 International Symposium on Symbolic and Algebraic …, 2022 | 16 | 2022 |
Guessing linear recurrence relations of sequence tuplesand p-recursive sequences with linear algebra J Berthomieu, JC Faugère Proceedings of the ACM on International Symposium on Symbolic and Algebraic …, 2016 | 11 | 2016 |
A polynomial-division-based algorithm for computing linear recurrence relations J Berthomieu, JC Faugère Proceedings of the 2018 ACM International Symposium on Symbolic and …, 2018 | 9 | 2018 |
Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems J Berthomieu, A Bostan, A Ferguson, M Safey El Din Journal of Algebra 602, 154-180, 2022 | 8 | 2022 |
New efficient algorithms for computing Gr\" obner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon) J Berthomieu, C Eder, MSE Din arXiv preprint arXiv:2202.13387, 2022 | 7 | 2022 |
In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: the adaptive variants J Berthomieu, JC Faugère Journal of Symbolic Computation 101, 270-303, 2020 | 6 | 2020 |
Guessing Gröbner bases of structured ideals of relations of sequences J Berthomieu, M Safey El Din Journal of Symbolic Computation 111, 1-26, 2022 | 3 | 2022 |
Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian J Berthomieu, LM Pardo Journal of Complexity 28 (3), 388-421, 2012 | 2 | 2012 |
Modular matrix multiplication on GPU for polynomial system solving J Berthomieu, S Graillat, D Lesnoff, T Mary ACM Communications in Computer Algebra 57 (2), 35-38, 2023 | 1 | 2023 |
On the computation of asymptotic critical values of polynomial maps and applications J Berthomieu, A Ferguson, M Safey El Din arXiv preprint arXiv:2104.00913, 2021 | 1 | 2021 |
Towards fast one-block quantifier elimination through generalised critical values J Berthomieu, A Ferguson, M Safey El Din ACM Communications in Computer Algebra 54 (3), 109-113, 2021 | 1 | 2021 |