Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

29 résultats
Page :
triés par
Image document

Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences

 Jérémy Berthomieu , Brice Boyer , Jean-Charles Faugère
Journal of Symbolic Computation, 2017, 83 (Supplement C), pp.36-67. ⟨10.1016/j.jsc.2016.11.005⟩
Article dans une revue hal-01253934v3
Image document

Contributions to polynomial system solving: Recurrences and Gröbner bases

 Jérémy Berthomieu
Symbolic Computation [cs.SC]. Sorbonne Université, 2023
HDR tel-04289532v1

Relaxed algorithms for p-adic numbers

 Jérémy Berthomieu , Joris van der Hoeven , Grégoire Lecerf
Journal de Théorie des Nombres de Bordeaux, 2011, 23 (3), pp.541-577. ⟨10.5802/jtnb.777⟩
Article dans une revue hal-02350488v1
Image document

Guessing Linear Recurrence Relations of Sequence Tuples and P-recursive Sequences with Linear Algebra

 Jérémy Berthomieu , Jean-Charles Faugère
41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. pp.95-102, ⟨10.1145/2930889.2930926⟩
Communication dans un congrès hal-01314266v1
Image document

New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon)

 Jérémy Berthomieu , Christian Eder , Mohab Safey El Din
2023
Pré-publication, Document de travail hal-03590430v2
Image document

Faster change of order algorithm for Gröbner bases under shape and stability assumptions

 Jérémy Berthomieu , Vincent Neiger , Mohab Safey El Din
2022 International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535484⟩
Communication dans un congrès hal-03580736v2
Image document

Polynomial root finding over local rings and application to error correcting codes

 Jérémy Berthomieu , Grégoire Lecerf , Guillaume Quintin
Applicable Algebra in Engineering, Communication and Computing, 2013, 24 (6), pp.413-443. ⟨10.1007/s00200-013-0200-5⟩
Article dans une revue hal-00642075v2
Image document

Computing Generic Fibres of Polynomial Ideals with FGLM and Hensel Lifting

 Jérémy Berthomieu , Rafael Mohr
2024
Pré-publication, Document de travail hal-04440914v1
Image document

Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials: The Regular Case

 Jérémy Berthomieu , Jean-Charles Faugère , Ludovic Perret
Journal of Complexity, 2015, 31 (4), pp.590--616. ⟨10.1016/j.jco.2015.04.001⟩
Article dans une revue hal-00846041v6
Image document

Reduction of bivariate polynomials from convex-dense to dense, with application to factorizations

 Jérémy Berthomieu , Grégoire Lecerf
Mathematics of Computation, 2012, 81 (279), pp.23. ⟨10.1090/S0025-5718-2011-02562-7⟩
Article dans une revue hal-00526659v2
Image document

Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences

 Jérémy Berthomieu , Brice Boyer , Jean-Charles Faugère
40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.61--68, ⟨10.1145/2755996.2756673⟩
Communication dans un congrès hal-01237861v1
Image document

Polynomial-Division-Based Algorithms for Computing Linear Recurrence Relations

 Jérémy Berthomieu , Jean-Charles Faugère
Journal of Symbolic Computation, 2022, 109, pp.1-30. ⟨10.1016/j.jsc.2021.07.002⟩
Article dans une revue hal-01935229v3
Image document

Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian

 Jérémy Berthomieu , Luis Pardo
Journal of Complexity, 2012, 28 (3), pp.388 -- 421. ⟨10.1016/j.jco.2011.11.005⟩
Article dans une revue hal-00612612v2
Image document

Modular matrix multiplication on GPU for polynomial system solving

 Jérémy Berthomieu , Stef Graillat , Dimitri Lesnoff , Theo Mary
ACM Communications in Computer Algebra, In press, 57 (2), pp.35-38. ⟨10.1145/3614408.3614411⟩
Article dans une revue hal-04117304v1
Image document

msolve: A Library for Solving Polynomial Systems

 Jérémy Berthomieu , Christian Eder , Mohab Safey El Din
2021 International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.51-58, ⟨10.1145/3452143.3465545⟩
Communication dans un congrès hal-03191666v3
Image document

Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems

 Jérémy Berthomieu , Alin Bostan , Andrew Ferguson , Mohab Safey El Din
Journal of Algebra, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
Article dans une revue hal-03214157v2
Image document

On the computation of asymptotic critical values of polynomial maps and applications

 Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din
2021
Pré-publication, Document de travail hal-03188279v1
Image document

In-depth comparison of the Berlekamp – Massey – Sakata and the Scalar-FGLM algorithms: the non adaptive variants

 Jérémy Berthomieu , Jean-Charles Faugère
2017
Pré-publication, Document de travail hal-01516708v2
Image document

Guessing Gröbner Bases of Structured Ideals of Relations of Sequences

 Jérémy Berthomieu , Mohab Safey El Din
Journal of Symbolic Computation, 2022, 111, pp.1-26. ⟨10.1016/j.jsc.2021.11.001⟩
Article dans une revue hal-02935550v2
Image document

Computing the set of asymptotic critical values of polynomial mappings from smooth algebraic sets

 Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din
2022
Pré-publication, Document de travail hal-03598352v1
Image document

In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: the adaptive variants

 Jérémy Berthomieu , Jean-Charles Faugère
Journal of Symbolic Computation, 2020, 101, pp.270-303. ⟨10.1016/j.jsc.2019.09.001⟩
Article dans une revue hal-01805478v3
Image document

A polynomial-division-based algorithm for computing linear recurrence relations

 Jérémy Berthomieu , Jean-Charles Faugère
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.79-86, ⟨10.1145/3208976.3209017⟩
Communication dans un congrès hal-01784369v1
Image document

Relaxed p-adic Hensel lifting for algebraic systems

 Jérémy Berthomieu , Romain Lebreton
37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.59-66, ⟨10.1145/2442829.2442842⟩
Communication dans un congrès hal-00660566v2
Image document

Computing Hironaka's invariants: Ridge and Directrix

 Jérémy Berthomieu , Pascal Hivert , Hussein Mourtada
Papers from the 12th Conference (AGC2T 12) held in Marseille, March 30--April 3, 2009, the 1st Geocrypt Conference held in Pointe-à-Pitre, April 27-May 1, 2009, and the European Science Foundation Exploratory Workshop on Curves, Coding Theory and Cryptography held in Marseille, March 25-29, 2009., Mar 2009, Marseille, France. pp.12, ⟨10.1090/conm/521⟩
Communication dans un congrès hal-00492824v1
Image document

Relaxed algorithms for p-adic numbers

 Jérémy Berthomieu , Joris van der Hoeven , Grégoire Lecerf
2010
Pré-publication, Document de travail hal-00486680v1

Mathemagix

 Joris van der Hoeven , Grégoire Lecerf , Bernard Mourrain , Philippe Trebuchet , Jérémy Berthomieu , et al.
ACM Communications in Computer Algebra, 2012, 45 (3/4), pp.186-188. ⟨10.1145/2110170.2110180⟩
Article dans une revue hal-02350521v1
Image document

Decomposition of multihomogeneous polynomials: minimal number of variables

 Jérémy Berthomieu
2013
Pré-publication, Document de travail hal-00778659v1
Image document

Towards fast one-block quantifier elimination through generalised critical values

 Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din
ACM Communications in Computer Algebra, In press, 54 (3), pp.109-113. ⟨10.1145/3457341.3457348⟩
Article dans une revue hal-02929626v1
Image document

Contributions à la résolution des systèmes algébriques : réduction, localisation, traitement des singularités ; implantations

 Jérémy Berthomieu
Calcul formel [cs.SC]. Ecole Polytechnique X, 2011. Français. ⟨NNT : 2011EPXX0075⟩
Thèse tel-00666435v3
Page :