关注
Jérémy Berthomieu
Jérémy Berthomieu
Sorbonne Université
在 lip6.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
502021
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
392013
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
302011
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
272017
Relaxed p-adic Hensel lifting for algebraic systems
J Berthomieu, R Lebreton
Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012
262012
Computing Hironaka’s invariants: ridge and directrix
J Berthomieu, P Hivert, H Mourtada
Arithmetic, Geometry, Cryptography and Coding Theory 2009 521, 9-20, 2010
252010
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
192012
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
162022
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
112016
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
92018
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
82022
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
72022
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
62020
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
32022
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
22012
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
12023
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
12021
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
12021
系统目前无法执行此操作,请稍后再试。
文章 1–20