Publications HAL du projet ANR. 50512

2024

ref_biblio
Marina Poulet, Tanguy Rivoal. Radial behavior of Mahler functions. International Journal of Number Theory, 2024, ⟨10.1142/S1793042124501070⟩. ⟨hal-03703010⟩
titre
Radial behavior of Mahler functions
auteur
Marina Poulet, Tanguy Rivoal
article
International Journal of Number Theory, 2024, ⟨10.1142/S1793042124501070⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03703010/file/Mahler.pdf BibTex
ref_biblio
B Adamczewski, É Delaygue. Algebraic relations between sine and cosine values. 2024. ⟨hal-04598648⟩
titre
Algebraic relations between sine and cosine values
auteur
B Adamczewski, É Delaygue
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04598648/file/Sine-and-cosine-31-05-2024-arxiv-format.pdf BibTex
ref_biblio
Thomas Dreyfus, Tanguy Rivoal. Representability of G-functions as rational functions in hypergeometric series. 2024. ⟨hal-04579991⟩
titre
Representability of G-functions as rational functions in hypergeometric series
auteur
Thomas Dreyfus, Tanguy Rivoal
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04579991/file/repgfn.pdf BibTex
ref_biblio
Alin Bostan, Lucia Di Vizio, Kilian Raschel. Differential transcendence of Bell numbers and relatives: a Galois theoretic approach. 2024. ⟨hal-03091272v3⟩
titre
Differential transcendence of Bell numbers and relatives: a Galois theoretic approach
auteur
Alin Bostan, Lucia Di Vizio, Kilian Raschel
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-03091272/file/Bostan_DiVizio_Raschel-final.pdf BibTex
ref_biblio
Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba. First-order factors of linear Mahler operators. 2024. ⟨hal-04502052⟩
titre
First-order factors of linear Mahler operators
auteur
Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04502052/file/mahler-riccati.pdf BibTex
ref_biblio
Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba. Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. 2024. ⟨hal-04466875⟩
titre
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm
auteur
Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba
article
2024
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04466875/file/arith2024_hal.pdf BibTex
ref_biblio
Rémi Prébet, Mohab Safey El Din, Éric Schost. Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity. 2024. ⟨hal-04439518⟩
titre
Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
auteur
Rémi Prébet, Mohab Safey El Din, Éric Schost
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04439518/file/PrSaSc2024.pdf BibTex
ref_biblio
Jérémy Berthomieu, Rafael Mohr. Computing Generic Fibres of Polynomial Ideals with FGLM and Hensel Lifting. 2024. ⟨hal-04440914⟩
titre
Computing Generic Fibres of Polynomial Ideals with FGLM and Hensel Lifting
auteur
Jérémy Berthomieu, Rafael Mohr
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04440914/file/paper.pdf BibTex
ref_biblio
Eric Pichon-Pharabod. A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over the projective line. 2024. ⟨hal-04387945⟩
titre
A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over the projective line
auteur
Eric Pichon-Pharabod
article
2024
Accès au bibtex
https://arxiv.org/pdf/2401.05131 BibTex
ref_biblio
Pierre Lairez, Eric Pichon-Pharabod, Pierre Vanhove. Effective homology and periods of complex projective hypersurfaces. 2024. ⟨hal-04144264⟩
titre
Effective homology and periods of complex projective hypersurfaces
auteur
Pierre Lairez, Eric Pichon-Pharabod, Pierre Vanhove
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04144264/file/effective-picard-lefschetz-theory.pdf BibTex
ref_biblio
Stéphane Fischler, Tanguy Rivoal. Rational approximations to values of $E$-functions. 2024. ⟨hal-04349259v2⟩
titre
Rational approximations to values of $E$-functions
auteur
Stéphane Fischler, Tanguy Rivoal
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04349259/file/Eexponent.pdf BibTex
ref_biblio
Rémi Prébet, Mohab Safey El Din, Éric Schost. Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results. Journal of Symbolic Computation, 2024, 120, pp.102234. ⟨10.1016/j.jsc.2023.102234⟩. ⟨hal-03508000v3⟩
titre
Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results
auteur
Rémi Prébet, Mohab Safey El Din, Éric Schost
article
Journal of Symbolic Computation, 2024, 120, pp.102234. ⟨10.1016/j.jsc.2023.102234⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03508000/file/rmconnect.pdf BibTex
ref_biblio
Boris Adamczewski, Thomas Dreyfus, Charlotte Hardouin, Michael Wibmer. Algebraic independence and linear difference equations. Journal of the European Mathematical Society, 2024, 26 (5), pp.1899-1932. ⟨10.4171/JEMS/1316⟩. ⟨hal-03403976⟩
titre
Algebraic independence and linear difference equations
auteur
Boris Adamczewski, Thomas Dreyfus, Charlotte Hardouin, Michael Wibmer
article
Journal of the European Mathematical Society, 2024, 26 (5), pp.1899-1932. ⟨10.4171/JEMS/1316⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03403976/file/AlgInde.pdf BibTex
ref_biblio
Alin Bostan, Tanguy Rivoal, Bruno Salvy. Minimization of differential equations and algebraic values of $E$-functions. Mathematics of Computation, 2024, 93, pp.1427-1472. ⟨10.1090/mcom/3912⟩. ⟨hal-03771150v2⟩
titre
Minimization of differential equations and algebraic values of $E$-functions
auteur
Alin Bostan, Tanguy Rivoal, Bruno Salvy
article
Mathematics of Computation, 2024, 93, pp.1427-1472. ⟨10.1090/mcom/3912⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03771150/file/BoRiSa23-hal-v2.pdf BibTex
ref_biblio
Pierre Lairez. Axioms for a theory of signature bases. Journal of Symbolic Computation, 2024, 123, pp.102275. ⟨10.1016/j.jsc.2023.102275⟩. ⟨hal-03830003v3⟩
titre
Axioms for a theory of signature bases
auteur
Pierre Lairez
article
Journal of Symbolic Computation, 2024, 123, pp.102275. ⟨10.1016/j.jsc.2023.102275⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03830003/file/gb.pdf BibTex
ref_biblio
Frédéric Chyzak, Marni Mishna. Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach. 2024. ⟨hal-04604501⟩
titre
Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach
auteur
Frédéric Chyzak, Marni Mishna
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04604501/file/ChMiXX.pdf BibTex

2023

ref_biblio
Alin Bostan, Armin Straub, Sergey Yurkevich. On the representability of sequences as constant terms. Journal of Number Theory, 2023, 253, pp.235-256. ⟨10.1016/j.jnt.2023.06.015⟩. ⟨hal-03907115v2⟩
titre
On the representability of sequences as constant terms
auteur
Alin Bostan, Armin Straub, Sergey Yurkevich
article
Journal of Number Theory, 2023, 253, pp.235-256. ⟨10.1016/j.jnt.2023.06.015⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03907115/file/BoStYu22-hal.pdf BibTex
ref_biblio
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din. A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System. Journal of Symbolic Computation, 2023, 119, pp.1-21. ⟨10.1016/j.jsc.2023.02.001⟩. ⟨hal-03590675v4⟩
titre
A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System
auteur
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
article
Journal of Symbolic Computation, 2023, 119, pp.1-21. ⟨10.1016/j.jsc.2023.02.001⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03590675/file/sgb_nondegen.pdf BibTex
ref_biblio
Hadrien Notarantonio, Sergey Yurkevich. Systems of Discrete Differential Equations, Constructive Algebraicity of the Solutions. 2023. ⟨hal-04250469⟩
titre
Systems of Discrete Differential Equations, Constructive Algebraicity of the Solutions
auteur
Hadrien Notarantonio, Sergey Yurkevich
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04250469/file/hal_submission.pdf BibTex
ref_biblio
Eric Delaygue, Tanguy Rivoal. On Abel's problem and Gauss congruences. International Mathematics Research Notices, 2023, 2024 (5), pp.4301-4327. ⟨10.1093/imrn/rnad229⟩. ⟨hal-03772016v2⟩
titre
On Abel's problem and Gauss congruences
auteur
Eric Delaygue, Tanguy Rivoal
article
International Mathematics Research Notices, 2023, 2024 (5), pp.4301-4327. ⟨10.1093/imrn/rnad229⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03772016/file/abelgauss.pdf BibTex
ref_biblio
Lucia Di Vizio, Gwladys Fernandes, Marni Mishna. Inhomogeneous order 1 iterative functional equations with applications to combinatorics. 2023. ⟨hal-04234870⟩
titre
Inhomogeneous order 1 iterative functional equations with applications to combinatorics
auteur
Lucia Di Vizio, Gwladys Fernandes, Marni Mishna
article
2023
Accès au bibtex
BibTex
ref_biblio
Andrew Elvey Price, Andreas Nessmann, Kilian Raschel. Logarithmic terms in discrete heat kernel expansions in the quadrant. 2023. ⟨hal-04270378⟩
titre
Logarithmic terms in discrete heat kernel expansions in the quadrant
auteur
Andrew Elvey Price, Andreas Nessmann, Kilian Raschel
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04270378/file/2309.15209.pdf BibTex
ref_biblio
Jérémy Berthomieu. Contributions to polynomial system solving: Recurrences and Gröbner bases. Symbolic Computation [cs.SC]. Sorbonne Université, 2023. ⟨tel-04289532⟩
titre
Contributions to polynomial system solving: Recurrences and Gröbner bases
auteur
Jérémy Berthomieu
article
Symbolic Computation [cs.SC]. Sorbonne Université, 2023
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/tel-04289532/file/hdr_berthomieu%20%281%29.pdf BibTex
ref_biblio
Florian Fürnsinn, Sergey Yurkevich. Algebraicity of hypergeometric functions with arbitrary parameters. 2023. ⟨hal-04205544⟩
titre
Algebraicity of hypergeometric functions with arbitrary parameters
auteur
Florian Fürnsinn, Sergey Yurkevich
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04205544/file/2308.12855.pdf BibTex
ref_biblio
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din. New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon). 2023. ⟨hal-03590430v2⟩
titre
New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon)
auteur
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
article
2023
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03590430/file/new_saturation.pdf BibTex
ref_biblio
Alin Bostan, Vincent Neiger, Sergey Yurkevich. Beating binary powering for polynomial matrices. ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway. ⟨hal-03979664v2⟩
titre
Beating binary powering for polynomial matrices
auteur
Alin Bostan, Vincent Neiger, Sergey Yurkevich
article
ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03979664/file/BoNeYu23.pdf BibTex
ref_biblio
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din. Refined F5 Algorithms for Ideals of Minors of Square Matrices. ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway. ⟨hal-03983184v2⟩
titre
Refined F5 Algorithms for Ideals of Minors of Square Matrices
auteur
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
article
ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03983184/file/DeterminantalF5.pdf BibTex
ref_biblio
Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din. Fast Algorithms for Discrete Differential Equations. ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norvège, Norway. ⟨hal-03978089v2⟩
titre
Fast Algorithms for Discrete Differential Equations
auteur
Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din
article
ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norvège, Norway
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03978089/file/reviewed_BoNoSa2023--HAL-ARXIV.pdf BibTex
ref_biblio
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din. A Direttissimo Algorithm for Equidimensional Decomposition. ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway. ⟨hal-04000248v2⟩
titre
A Direttissimo Algorithm for Equidimensional Decomposition
auteur
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
article
ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway
Accès au texte intégral et bibtex
https://hal.science/hal-04000248/file/arxiv_version.pdf BibTex
ref_biblio
Hadrien Notarantonio, Sergey Yurkevich. Effective algebraicity for solutions of systems of functional equations with one catalytic variable. 35th international conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2023), Jul 2023, Davis, CA, United States. ⟨hal-03854264⟩
titre
Effective algebraicity for solutions of systems of functional equations with one catalytic variable
auteur
Hadrien Notarantonio, Sergey Yurkevich
article
35th international conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2023), Jul 2023, Davis, CA, United States
Accès au bibtex
https://arxiv.org/pdf/2211.07298 BibTex
ref_biblio
Alin Bostan, Frédéric Chapoton. Continued fractions, orthogonal polynomials and Dirichlet series. 2023. ⟨hal-03832808v3⟩
titre
Continued fractions, orthogonal polynomials and Dirichlet series
auteur
Alin Bostan, Frédéric Chapoton
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-03832808/file/dirichlet_racah_hal-en.pdf BibTex
ref_biblio
Boris Adamczewski, Alin Bostan, Xavier Caruso. A sharper multivariate Christol's theorem with applications to diagonals and Hadamard products. 2023. ⟨hal-04116793⟩
titre
A sharper multivariate Christol's theorem with applications to diagonals and Hadamard products
auteur
Boris Adamczewski, Alin Bostan, Xavier Caruso
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04116793/file/ABC23-arxiv.pdf BibTex
ref_biblio
Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Theo Mary. Modular matrix multiplication on GPU for polynomial system solving. ACM Communications in Computer Algebra, In press, 57 (2), pp.35-38. ⟨10.1145/3614408.3614411⟩. ⟨hal-04117304⟩
titre
Modular matrix multiplication on GPU for polynomial system solving
auteur
Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Theo Mary
article
ACM Communications in Computer Algebra, In press, 57 (2), pp.35-38. ⟨10.1145/3614408.3614411⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-04117304/file/main.pdf BibTex
ref_biblio
Jean-Charles Faugère, George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu. Computing critical points for invariant algebraic systems. Journal of Symbolic Computation, 2023, 116, pp.365-399. ⟨10.1016/j.jsc.2022.10.002⟩. ⟨hal-02927636⟩
titre
Computing critical points for invariant algebraic systems
auteur
Jean-Charles Faugère, George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
Journal of Symbolic Computation, 2023, 116, pp.365-399. ⟨10.1016/j.jsc.2022.10.002⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927636/file/hal-critpoint-main.pdf BibTex
ref_biblio
Peter Bürgisser, Felipe Cucker, Pierre Lairez. Rigid continuation paths II. Structured polynomial systems. Forum of Mathematics, Pi, 2023, 11, pp.e12. ⟨10.1017/fmp.2023.7⟩. ⟨hal-02974062⟩
titre
Rigid continuation paths II. Structured polynomial systems
auteur
Peter Bürgisser, Felipe Cucker, Pierre Lairez
article
Forum of Mathematics, Pi, 2023, 11, pp.e12. ⟨10.1017/fmp.2023.7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02974062/file/rigid-paths-2.pdf BibTex
ref_biblio
Alin Bostan, Xavier Caruso, Julien Roques. Algebraic solutions of linear differential equations: an arithmetic approach. 2023. ⟨hal-04065092⟩
titre
Algebraic solutions of linear differential equations: an arithmetic approach
auteur
Alin Bostan, Xavier Caruso, Julien Roques
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04065092/file/BoCaRo23-HAL.pdf BibTex
ref_biblio
Alin Bostan, Sergey Yurkevich. On the $q$-analogue of Pólya's Theorem. The Electronic Journal of Combinatorics, 2023. ⟨hal-03425997⟩
titre
On the $q$-analogue of Pólya's Theorem
auteur
Alin Bostan, Sergey Yurkevich
article
The Electronic Journal of Combinatorics, 2023
Accès au texte intégral et bibtex
https://hal.science/hal-03425997/file/BoYu23.pdf BibTex
ref_biblio
Pierre Lairez, Pierre Vanhove. Algorithms for minimal Picard-Fuchs operators of Feynman integrals. Letters in Mathematical Physics, 2023, 113 (2), pp.37. ⟨10.1007/s11005-023-01661-3⟩. ⟨hal-03784522⟩
titre
Algorithms for minimal Picard-Fuchs operators of Feynman integrals
auteur
Pierre Lairez, Pierre Vanhove
article
Letters in Mathematical Physics, 2023, 113 (2), pp.37. ⟨10.1007/s11005-023-01661-3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03784522/file/pf-feynman-integral.pdf BibTex
ref_biblio
Mireille Bousquet-Mélou, Frédéric Chapoton. INTERVALS IN THE GREEDY TAMARI POSETS. 2023. ⟨hal-04056126⟩
titre
INTERVALS IN THE GREEDY TAMARI POSETS
auteur
Mireille Bousquet-Mélou, Frédéric Chapoton
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04056126/file/glouton.pdf BibTex
ref_biblio
Didier Henrion, Simone Naldi, Mohab Safey El Din. Algebraic certificates for the truncated moment problem. 2023. ⟨hal-03987123⟩
titre
Algebraic certificates for the truncated moment problem
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03987123/file/exactmoments.pdf BibTex
ref_biblio
Eric Delaygue. A Lindemann-Weierstrass theorem for $E$-functions. 2023. ⟨hal-03961260⟩
titre
A Lindemann-Weierstrass theorem for $E$-functions
auteur
Eric Delaygue
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-03961260/file/A%20Lindemann-Weierstrass%20theorem%20for%20E-functions.pdf BibTex
ref_biblio
Alin Bostan. A short proof of a non-vanishing result by Conca, Krattenthaler and Watanabe. Rendiconti del Seminario Matematico della Università di Padova, 2023, ⟨10.4171/RSMUP/113⟩. ⟨hal-03216337v2⟩
titre
A short proof of a non-vanishing result by Conca, Krattenthaler and Watanabe
auteur
Alin Bostan
article
Rendiconti del Seminario Matematico della Università di Padova, 2023, ⟨10.4171/RSMUP/113⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03216337/file/Bostan23.pdf BibTex
ref_biblio
Ruiwen Dong, Stephen Melczer, Marc Mezzarobba. Computing error bounds for asymptotic expansions of regular P-recursive sequences. Mathematics of Computation, In press. ⟨hal-03902210v2⟩
titre
Computing error bounds for asymptotic expansions of regular P-recursive sequences
auteur
Ruiwen Dong, Stephen Melczer, Marc Mezzarobba
article
Mathematics of Computation, In press
Accès au texte intégral et bibtex
https://hal.science/hal-03902210/file/main.pdf BibTex
ref_biblio
Alin Bostan, Frédéric Chyzak, Vincent Pilaud. Refined product formulas for Tamari intervals. 2023. ⟨hal-04102398⟩
titre
Refined product formulas for Tamari intervals
auteur
Alin Bostan, Frédéric Chyzak, Vincent Pilaud
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04102398/file/TamariIntervals.pdf BibTex
ref_biblio
Gerold Alsmeyer, Alin Bostan, Kilian Raschel, Thomas Simon. Persistence for a class of order-one autoregressive processes and Mallows-Riordan polynomials. Advances in Applied Mathematics, 2023, ⟨10.1016/j.aam.2023.102555⟩. ⟨hal-03469594⟩
titre
Persistence for a class of order-one autoregressive processes and Mallows-Riordan polynomials
auteur
Gerold Alsmeyer, Alin Bostan, Kilian Raschel, Thomas Simon
article
Advances in Applied Mathematics, 2023, ⟨10.1016/j.aam.2023.102555⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03469594/file/2112.03016.pdf BibTex
ref_biblio
Alin Bostan, Sergey Yurkevich. Fast Computation of the $N$-th Term of a $q$-Holonomic Sequence and Applications. Journal of Symbolic Computation, 2023, 115, pp.96-123. ⟨10.1016/j.jsc.2022.07.008⟩. ⟨hal-03084680⟩
titre
Fast Computation of the $N$-th Term of a $q$-Holonomic Sequence and Applications
auteur
Alin Bostan, Sergey Yurkevich
article
Journal of Symbolic Computation, 2023, 115, pp.96-123. ⟨10.1016/j.jsc.2022.07.008⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03084680/file/2012.08656.pdf BibTex
ref_biblio
Jakob Steininger, Sergey Yurkevich. An algorithmic approach to Rupert's problem. Mathematics of Computation, In press. ⟨hal-03504867⟩
titre
An algorithmic approach to Rupert's problem
auteur
Jakob Steininger, Sergey Yurkevich
article
Mathematics of Computation, In press
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03504867/file/Rupert.pdf BibTex

2022

ref_biblio
Rodolphe Garbit, Kilian Raschel. Random walks with drift inside a pyramid: convergence rate for the survival probability. 2022. ⟨hal-03879363v2⟩
titre
Random walks with drift inside a pyramid: convergence rate for the survival probability
auteur
Rodolphe Garbit, Kilian Raschel
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03879363/file/2211.16050.pdf BibTex
ref_biblio
Thomas Dreyfus, Jacques-Arthur Weil. Computing the Lie algebra of the differential Galois group: the reducible case. Journal of Symbolic Computation, 2022, ⟨10.1016/j.jsc.2022.01.006⟩. ⟨hal-02408036⟩
titre
Computing the Lie algebra of the differential Galois group: the reducible case
auteur
Thomas Dreyfus, Jacques-Arthur Weil
article
Journal of Symbolic Computation, 2022, ⟨10.1016/j.jsc.2022.01.006⟩
Accès au bibtex
https://arxiv.org/pdf/1904.07925 BibTex
ref_biblio
Sergey Yurkevich. The art of algorithmic guessing in gfun. Maple Transactions, 2022, 2 (1), pp.14421. ⟨10.5206/mt.v2i1.14421⟩. ⟨hal-03427179v2⟩
titre
The art of algorithmic guessing in gfun
auteur
Sergey Yurkevich
article
Maple Transactions, 2022, 2 (1), pp.14421. ⟨10.5206/mt.v2i1.14421⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03427179/file/YurkevichMT.pdf BibTex
ref_biblio
Jérémy Berthomieu, Alin Bostan, Andrew Ferguson, Mohab Safey El Din. Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems. Journal of Algebra, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩. ⟨hal-03214157v2⟩
titre
Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems
auteur
Jérémy Berthomieu, Alin Bostan, Andrew Ferguson, Mohab Safey El Din
article
Journal of Algebra, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03214157/file/CombDetv2.pdf BibTex
ref_biblio
Andrew Ferguson, Huu Phuoc Le. Finer Complexity Estimates for the Change of Ordering of Gröbner Bases for Generic Symmetric Determinantal Ideals. International Symposium on Symbolic and Algebraic Computation (ISSAC '22), Jul 2022, Villeneuve-d'Ascq, France. pp.9, ⟨10.1145/3476446.3536182⟩. ⟨hal-03573833v2⟩
titre
Finer Complexity Estimates for the Change of Ordering of Gröbner Bases for Generic Symmetric Determinantal Ideals
auteur
Andrew Ferguson, Huu Phuoc Le
article
International Symposium on Symbolic and Algebraic Computation (ISSAC '22), Jul 2022, Villeneuve-d'Ascq, France. pp.9, ⟨10.1145/3476446.3536182⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03573833/file/symdet.pdf BibTex
ref_biblio
Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din. Algorithms for discrete differential equations of order 1. ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. pp.101-110. ⟨hal-03616406v2⟩
titre
Algorithms for discrete differential equations of order 1
auteur
Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din
article
ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. pp.101-110
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03616406/file/BoChNoSa22-hal-v2.pdf BibTex
ref_biblio
Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba. Symbolic-Numeric Factorization of Differential Operators. ISSAC '22, Jul 2022, Lille, France. ⟨10.1145/3476446.3535503⟩. ⟨hal-03580658v4⟩
titre
Symbolic-Numeric Factorization of Differential Operators
auteur
Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba
article
ISSAC '22, Jul 2022, Lille, France. ⟨10.1145/3476446.3535503⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03580658/file/issac22.pdf BibTex
ref_biblio
Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din. Faster change of order algorithm for Gröbner bases under shape and stability assumptions. 2022 International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535484⟩. ⟨hal-03580736v2⟩
titre
Faster change of order algorithm for Gröbner bases under shape and stability assumptions
auteur
Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din
article
2022 International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535484⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03580736/file/fast-change-of-order.pdf BibTex
ref_biblio
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Salunkhe, Philippe Wenger. Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry. ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535477⟩. ⟨hal-03596704v3⟩
titre
Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry
auteur
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Salunkhe, Philippe Wenger
article
ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535477⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03596704/file/main.pdf BibTex
ref_biblio
Jérémy Berthomieu, Mohab Safey El Din. Guessing Gröbner Bases of Structured Ideals of Relations of Sequences. Journal of Symbolic Computation, 2022, 111, pp.1-26. ⟨10.1016/j.jsc.2021.11.001⟩. ⟨hal-02935550v2⟩
titre
Guessing Gröbner Bases of Structured Ideals of Relations of Sequences
auteur
Jérémy Berthomieu, Mohab Safey El Din
article
Journal of Symbolic Computation, 2022, 111, pp.1-26. ⟨10.1016/j.jsc.2021.11.001⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02935550/file/structured_recurrences.pdf BibTex
ref_biblio
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla. Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. IEEE Robotics and Automation Letters, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩. ⟨hal-02905816v2⟩
titre
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator
auteur
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla
article
IEEE Robotics and Automation Letters, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02905816/file/main.pdf BibTex
ref_biblio
Stephen Melczer, Marc Mezzarobba. Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes. Combinatorial Theory, 2022, 2 (2). ⟨hal-03366860⟩
titre
Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes
auteur
Stephen Melczer, Marc Mezzarobba
article
Combinatorial Theory, 2022, 2 (2)
Accès au texte intégral et bibtex
https://hal.science/hal-03366860/file/210211-whn79.pdf BibTex
ref_biblio
Huu Phuoc Le, Dimitri Manevich, Daniel Plaumann. Computing totally real hyperplane sections and linear series on algebraic curves. Le Matematiche, 2022, 77 (1), pp.119-141. ⟨10.4418/2022.77.1.7⟩. ⟨hal-03283378v2⟩
titre
Computing totally real hyperplane sections and linear series on algebraic curves
auteur
Huu Phuoc Le, Dimitri Manevich, Daniel Plaumann
article
Le Matematiche, 2022, 77 (1), pp.119-141. ⟨10.4418/2022.77.1.7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03283378/file/hyperplanesections.pdf BibTex
ref_biblio
Huu Phuoc Le. Faster algorithms for computing real isolated points of an algebraic hypersurface. 2022. ⟨hal-03590187v2⟩
titre
Faster algorithms for computing real isolated points of an algebraic hypersurface
auteur
Huu Phuoc Le
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03590187/file/mainiso.pdf BibTex
ref_biblio
Jérémy Berthomieu, Jean-Charles Faugère. Polynomial-Division-Based Algorithms for Computing Linear Recurrence Relations. Journal of Symbolic Computation, 2022, 109, pp.1-30. ⟨10.1016/j.jsc.2021.07.002⟩. ⟨hal-01935229v3⟩
titre
Polynomial-Division-Based Algorithms for Computing Linear Recurrence Relations
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
Journal of Symbolic Computation, 2022, 109, pp.1-30. ⟨10.1016/j.jsc.2021.07.002⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01935229/file/main.pdf BibTex
ref_biblio
Thomas Dreyfus, Charlotte Hardouin. Length derivative of the generating series of walks confined in the quarter plane. 2022. ⟨hal-03513964⟩
titre
Length derivative of the generating series of walks confined in the quarter plane
auteur
Thomas Dreyfus, Charlotte Hardouin
article
2022
Accès au bibtex
https://arxiv.org/pdf/1902.10558 BibTex
ref_biblio
Julien Roques. On the algebraic and analytic q-De Rham complexes attached to q-difference equations. Transactions of the American Mathematical Society, 2022, 375 (2), pp.1461-1507. ⟨10.1090/tran/8540⟩. ⟨hal-04134230⟩
titre
On the algebraic and analytic q-De Rham complexes attached to q-difference equations
auteur
Julien Roques
article
Transactions of the American Mathematical Society, 2022, 375 (2), pp.1461-1507. ⟨10.1090/tran/8540⟩
Accès au bibtex
BibTex
ref_biblio
Alin Bostan, Sergey Yurkevich. A hypergeometric proof that Iso is bijective. Proceedings of the American Mathematical Society, 2022, 150 (5), pp.2131-2136. ⟨10.1090/proc/15836⟩. ⟨hal-03426008⟩
titre
A hypergeometric proof that Iso is bijective
auteur
Alin Bostan, Sergey Yurkevich
article
Proceedings of the American Mathematical Society, 2022, 150 (5), pp.2131-2136. ⟨10.1090/proc/15836⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03426008/file/monoiso.pdf BibTex
ref_biblio
Stéphane Fischler, Tanguy Rivoal. A note on G-operators of order 2. Colloquium Mathematicum, 2022, 170 (2), pp.321-340. ⟨10.4064/cm8600-3-2022⟩. ⟨hal-03065680v2⟩
titre
A note on G-operators of order 2
auteur
Stéphane Fischler, Tanguy Rivoal
article
Colloquium Mathematicum, 2022, 170 (2), pp.321-340. ⟨10.4064/cm8600-3-2022⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03065680/file/gopinhbis.pdf BibTex
ref_biblio
Tanguy Rivoal. Factors of E-operators with an η-apparent singularity at zero. Journal of the Mathematical Society of Japan, 2022, ⟨10.2969/jmsj/85708570⟩. ⟨hal-02953453v2⟩
titre
Factors of E-operators with an η-apparent singularity at zero
auteur
Tanguy Rivoal
article
Journal of the Mathematical Society of Japan, 2022, ⟨10.2969/jmsj/85708570⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02953453/file/factorseop.pdf BibTex
ref_biblio
Eric Delaygue, Tanguy Rivoal. On primary pseudo-polynomials (Around Ruzsa's Conjecture). International Journal of Number Theory, 2022, ⟨10.1142/S1793042122500828⟩. ⟨hal-03083185v2⟩
titre
On primary pseudo-polynomials (Around Ruzsa's Conjecture)
auteur
Eric Delaygue, Tanguy Rivoal
article
International Journal of Number Theory, 2022, ⟨10.1142/S1793042122500828⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03083185/file/rusza.pdf BibTex
ref_biblio
Alin Bostan, Sergey Yurkevich. On a Class of Hypergeometric Diagonals. Proceedings of the American Mathematical Society, 2022, 150 (3), pp.1071-1087. ⟨10.1090/proc/15693⟩. ⟨hal-03084672⟩
titre
On a Class of Hypergeometric Diagonals
auteur
Alin Bostan, Sergey Yurkevich
article
Proceedings of the American Mathematical Society, 2022, 150 (3), pp.1071-1087. ⟨10.1090/proc/15693⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03084672/file/2008.12809.pdf BibTex
ref_biblio
Alin Bostan, Jordan Tirrell, Bruce W Westbury, Yi Zhang. On some combinatorial sequences associated to invariant theory. European Journal of Combinatorics, 2022, 105, pp.1-22. ⟨10.1016/j.ejc.2022.103554⟩. ⟨hal-03423136v2⟩
titre
On some combinatorial sequences associated to invariant theory
auteur
Alin Bostan, Jordan Tirrell, Bruce W Westbury, Yi Zhang
article
European Journal of Combinatorics, 2022, 105, pp.1-22. ⟨10.1016/j.ejc.2022.103554⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03423136/file/2110.13753.pdf BibTex
ref_biblio
Huu Phuoc Le, Mohab Safey El Din. Solving parametric systems of polynomial equations over the reals through Hermite matrices. Journal of Symbolic Computation, In press, 112, pp.25-61. ⟨10.1016/j.jsc.2021.12.002⟩. ⟨hal-03029441v2⟩
titre
Solving parametric systems of polynomial equations over the reals through Hermite matrices
auteur
Huu Phuoc Le, Mohab Safey El Din
article
Journal of Symbolic Computation, In press, 112, pp.25-61. ⟨10.1016/j.jsc.2021.12.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03029441/file/mainRRC.pdf BibTex
ref_biblio
Mireille Bousquet-Mélou. Enumeration of three-quadrant walks via invariants: some diagonally symmetric models. Canadian Journal of Mathematics. Journal Canadien de Mathématiques, 2022, 75 (5), pp.1566-1632. ⟨10.4153/S0008414X22000487⟩. ⟨hal-03579889⟩
titre
Enumeration of three-quadrant walks via invariants: some diagonally symmetric models
auteur
Mireille Bousquet-Mélou
article
Canadian Journal of Mathematics. Journal Canadien de Mathématiques, 2022, 75 (5), pp.1566-1632. ⟨10.4153/S0008414X22000487⟩
Accès au bibtex
https://arxiv.org/pdf/2112.05776 BibTex
ref_biblio
Julien Roques. On The Archimedean And Nonarchimedean q-Gevrey Orders. Proceedings of the American Mathematical Society, 2022, 150 (3), pp.1167-1176. ⟨10.1090/proc/15852⟩. ⟨hal-04134229⟩
titre
On The Archimedean And Nonarchimedean q-Gevrey Orders
auteur
Julien Roques
article
Proceedings of the American Mathematical Society, 2022, 150 (3), pp.1167-1176. ⟨10.1090/proc/15852⟩
Accès au bibtex
BibTex

2021

ref_biblio
Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F Singer. On the Kernel Curves Associated with Walks in the Quarter Plane. Alin Bostan; Kilian Raschel. Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS19 – Transient Transcendence in Transylvania, Brașov, Romania, May 13–17, 2019, Revised and Extended Contributions, 373, Springer International Publishing, pp.61-89, 2021, Springer Proceedings in Mathematics & Statistics, 978-3-030-84303-8. ⟨10.1007/978-3-030-84304-5_3⟩. ⟨hal-03513338⟩
titre
On the Kernel Curves Associated with Walks in the Quarter Plane
auteur
Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F Singer
article
Alin Bostan; Kilian Raschel. Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS19 – Transient Transcendence in Transylvania, Brașov, Romania, May 13–17, 2019, Revised and Extended Contributions, 373, Springer International Publishing, pp.61-89, 2021, Springer Proceedings in Mathematics & Statistics, 978-3-030-84303-8. ⟨10.1007/978-3-030-84304-5_3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03513338/file/kernel.pdf BibTex
ref_biblio
Charlotte Hardouin, Michael F Singer. On differentially algebraic generating series for walks in the quarter plane. Selecta Mathematica (New Series), 2021, 27 (5), ⟨10.1007/s00029-021-00703-9⟩. ⟨hal-03403948⟩
titre
On differentially algebraic generating series for walks in the quarter plane
auteur
Charlotte Hardouin, Michael F Singer
article
Selecta Mathematica (New Series), 2021, 27 (5), ⟨10.1007/s00029-021-00703-9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03403948/file/DA_Walks_8_3_21.pdf BibTex
ref_biblio
Stéphane Fischler. Linear independence of odd zeta values using Siegel's lemma. 2021. ⟨hal-03404166⟩
titre
Linear independence of odd zeta values using Siegel's lemma
auteur
Stéphane Fischler
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03404166/file/siegel_HAL.pdf BibTex
ref_biblio
Thomas Dreyfus, Jacques-Arthur Weil. Differential Galois Theory and Integration. Johannes Blümlein, Carsten Schneider. Anti-Differentiation and the Calculation of Feynman Amplitudes, Springer International Publishing, pp.145-171, 2021, Texts & Monographs in Symbolic Computation, 978-3-030-80218-9. ⟨10.1007/978-3-030-80219-6_7⟩. ⟨hal-03357833⟩
titre
Differential Galois Theory and Integration
auteur
Thomas Dreyfus, Jacques-Arthur Weil
article
Johannes Blümlein, Carsten Schneider. Anti-Differentiation and the Calculation of Feynman Amplitudes, Springer International Publishing, pp.145-171, 2021, Texts & Monographs in Symbolic Computation, 978-3-030-80218-9. ⟨10.1007/978-3-030-80219-6_7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03357833/file/DreyfusWeil_rev.pdf BibTex
ref_biblio
Thomas Dreyfus, Amélie Trotignon. On the Nature of Four Models of Symmetric Walks Avoiding a Quadrant. Annals of Combinatorics, 2021, 25 (3), pp.617-644. ⟨10.1007/s00026-021-00541-8⟩. ⟨hal-03357218⟩
titre
On the Nature of Four Models of Symmetric Walks Avoiding a Quadrant
auteur
Thomas Dreyfus, Amélie Trotignon
article
Annals of Combinatorics, 2021, 25 (3), pp.617-644. ⟨10.1007/s00026-021-00541-8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03357218/file/M34-Galois.pdf BibTex
ref_biblio
Alin Bostan. Computer Algebra in the Service of Enumerative Combinatorics. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2021, Saint Petersburg, Russia. pp. 1-8, ⟨10.1145/3452143.3465507⟩. ⟨hal-03427873⟩
titre
Computer Algebra in the Service of Enumerative Combinatorics
auteur
Alin Bostan
article
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2021, Saint Petersburg, Russia. pp. 1-8, ⟨10.1145/3452143.3465507⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03427873/file/issac21-hal.pdf BibTex
ref_biblio
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din. msolve: A Library for Solving Polynomial Systems. 2021 International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.51-58, ⟨10.1145/3452143.3465545⟩. ⟨hal-03191666v3⟩
titre
msolve: A Library for Solving Polynomial Systems
auteur
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
article
2021 International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.51-58, ⟨10.1145/3452143.3465545⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03191666/file/main.pdf BibTex
ref_biblio
Huu Phuoc Le, Mohab Safey El Din. Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations. International Symposium on Symbolic and Algebraic Computation 2021 (ISSAC '21), Jul 2021, Saint Petersburg, Russia. pp.265-272, ⟨10.1145/3452143.3465546⟩. ⟨hal-03180730v4⟩
titre
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations
auteur
Huu Phuoc Le, Mohab Safey El Din
article
International Symposium on Symbolic and Algebraic Computation 2021 (ISSAC '21), Jul 2021, Saint Petersburg, Russia. pp.265-272, ⟨10.1145/3452143.3465546⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03180730/file/main.pdf BibTex
ref_biblio
Pierre Lairez, Mohab Safey El Din. Computing the dimension of real algebraic sets. ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩. ⟨hal-03232068v2⟩
titre
Computing the dimension of real algebraic sets
auteur
Pierre Lairez, Mohab Safey El Din
article
ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03232068/file/real-algebraic-dimension.pdf BibTex
ref_biblio
Raphaël Pagès. Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time. ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Petersbourg / Virtual, Russia. pp.329-336, ⟨10.1145/3452143.3465524⟩. ⟨hal-03270585v2⟩
titre
Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
auteur
Raphaël Pagès
article
ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Petersbourg / Virtual, Russia. pp.329-336, ⟨10.1145/3452143.3465524⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03270585/file/HAL_p_curv.pdf BibTex
ref_biblio
Alin Bostan, Manuel Kauers, Thibaut Verron. The generating function of Kreweras walks with interacting boundaries is not algebraic. FPSAC'21 - Formal power series and algebraic combinatorics, Jul 2021, Ramat Gan, Israel. pp.12. ⟨hal-03084659⟩
titre
The generating function of Kreweras walks with interacting boundaries is not algebraic
auteur
Alin Bostan, Manuel Kauers, Thibaut Verron
article
FPSAC'21 - Formal power series and algebraic combinatorics, Jul 2021, Ramat Gan, Israel. pp.12
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03084659/file/2012.00816.pdf BibTex
ref_biblio
Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, Thi Xuan Vu. Solving determinantal systems using homotopy techniques. Journal of Symbolic Computation, In press, 104, pp.754-804. ⟨10.1016/j.jsc.2020.09.008⟩. ⟨hal-01719170⟩
titre
Solving determinantal systems using homotopy techniques
auteur
Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
Journal of Symbolic Computation, In press, 104, pp.754-804. ⟨10.1016/j.jsc.2020.09.008⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01719170/file/all.pdf BibTex
ref_biblio
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din. On the computation of asymptotic critical values of polynomial maps and applications. 2021. ⟨hal-03188279⟩
titre
On the computation of asymptotic critical values of polynomial maps and applications
auteur
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
article
2021
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03188279/file/main.pdf BibTex
ref_biblio
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din. Towards fast one-block quantifier elimination through generalised critical values. ACM Communications in Computer Algebra, In press, 54 (3), pp.109-113. ⟨10.1145/3457341.3457348⟩. ⟨hal-02929626⟩
titre
Towards fast one-block quantifier elimination through generalised critical values
auteur
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
article
ACM Communications in Computer Algebra, In press, 54 (3), pp.109-113. ⟨10.1145/3457341.3457348⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02929626/file/abstract.pdf BibTex
ref_biblio
Lucia Di Vizio, Gwladys Fernandes. A Galoisian proof of Ritt theorem on the differential transcendence of Poincar\'e functions. 2021. ⟨hal-03146286⟩
titre
A Galoisian proof of Ritt theorem on the differential transcendence of Poincar\'e functions
auteur
Lucia Di Vizio, Gwladys Fernandes
article
2021
Accès au bibtex
https://arxiv.org/pdf/2102.08268 BibTex
ref_biblio
Alin Bostan, Ryuhei Mori. A Simple and Fast Algorithm for Computing the $N$-th Term of a Linearly Recurrent Sequence. SOSA'21 (SIAM Symposium on Simplicity in Algorithms), Jan 2021, Alexandria, United States. ⟨hal-02917827v2⟩
titre
A Simple and Fast Algorithm for Computing the $N$-th Term of a Linearly Recurrent Sequence
auteur
Alin Bostan, Ryuhei Mori
article
SOSA'21 (SIAM Symposium on Simplicity in Algorithms), Jan 2021, Alexandria, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02917827/file/BoMo21-final.pdf BibTex
ref_biblio
Thomas Dreyfus, Charlotte Hardouin, Julien Roques. Functional relations of solutions of $q$-difference equations. Mathematische Zeitschrift, 2021, ⟨10.1007/s00209-020-02669-4⟩. ⟨hal-01959032⟩
titre
Functional relations of solutions of $q$-difference equations
auteur
Thomas Dreyfus, Charlotte Hardouin, Julien Roques
article
Mathematische Zeitschrift, 2021, ⟨10.1007/s00209-020-02669-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01959032/file/qdiffhypertrv12%20.pdf BibTex
ref_biblio
Mireille Bousquet-Mélou, Andrew Elvey-Price, Sandro Franceschi, Charlotte Hardouin, Kilian Raschel. On the stationary distribution of reflected Brownian motion in a wedge: differential properties. 2021. ⟨hal-03098489v2⟩
titre
On the stationary distribution of reflected Brownian motion in a wedge: differential properties
auteur
Mireille Bousquet-Mélou, Andrew Elvey-Price, Sandro Franceschi, Charlotte Hardouin, Kilian Raschel
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03098489/file/article25-arxiv.pdf BibTex
ref_biblio
Lucia Di Vizio. Difference Galois Theory For The "Applied" Mathematician. Arithmetic and geometry over local fields, 2275, pp.29--59, 2021, Lecture Notes in Mathematics, 978-3-030-66249-3. ⟨10.1007/978-3-030-66249-3⟩. ⟨hal-02986455⟩
titre
Difference Galois Theory For The "Applied" Mathematician
auteur
Lucia Di Vizio
article
Arithmetic and geometry over local fields, 2275, pp.29--59, 2021, Lecture Notes in Mathematics, 978-3-030-66249-3. ⟨10.1007/978-3-030-66249-3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02986455/file/2011.00932v1.pdf BibTex
ref_biblio
George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu. Homotopy techniques for solving sparse column support determinantal polynomial systems. Journal of Complexity, 2021, 66, pp.101557. ⟨10.1016/j.jco.2021.101557⟩. ⟨hal-02927630⟩
titre
Homotopy techniques for solving sparse column support determinantal polynomial systems
auteur
George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
Journal of Complexity, 2021, 66, pp.101557. ⟨10.1016/j.jco.2021.101557⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927630/file/hal-column-support-main.pdf BibTex
ref_biblio
Boris Adamczewski, Thomas Dreyfus, Charlotte Hardouin. Hypertranscendence and linear difference equations. Journal of the American Mathematical Society, 2021, 34, pp.475-503. ⟨10.1090/jams/960⟩. ⟨hal-02991494⟩
titre
Hypertranscendence and linear difference equations
auteur
Boris Adamczewski, Thomas Dreyfus, Charlotte Hardouin
article
Journal of the American Mathematical Society, 2021, 34, pp.475-503. ⟨10.1090/jams/960⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02991494/file/Hypertranscendence.pdf BibTex
ref_biblio
Alin Bostan, Fernando Chamizo, Mikael Sundqvist. On an Integral Identity. The American Mathematical Monthly, 2021, 128 (8), pp.737--743. ⟨10.1080/00029890.2021.1944754⟩. ⟨hal-03084594⟩
titre
On an Integral Identity
auteur
Alin Bostan, Fernando Chamizo, Mikael Sundqvist
article
The American Mathematical Monthly, 2021, 128 (8), pp.737--743. ⟨10.1080/00029890.2021.1944754⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03084594/file/final.pdf BibTex
ref_biblio
Carlos E Arreche, Thomas Dreyfus, Julien Roques. Differential transcendence criteria for second-order linear difference equations and elliptic hypergeometric functions. Journal de l'École polytechnique — Mathématiques, 2021, 8, pp.147-168. ⟨10.5802/jep.143⟩. ⟨hal-03361384⟩
titre
Differential transcendence criteria for second-order linear difference equations and elliptic hypergeometric functions
auteur
Carlos E Arreche, Thomas Dreyfus, Julien Roques
article
Journal de l'École polytechnique — Mathématiques, 2021, 8, pp.147-168. ⟨10.5802/jep.143⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03361384/file/final-ellhypergeo.pdf BibTex

2020

ref_biblio
Lucia Di Vizio, Charlotte Hardouin. Galois theories for $q$-difference equations: comparison theorems. Confluentes Mathematici, 2020, 12 (2), pp.11--35. ⟨10.5802/cml.66⟩. ⟨hal-00794745⟩
titre
Galois theories for $q$-difference equations: comparison theorems
auteur
Lucia Di Vizio, Charlotte Hardouin
article
Confluentes Mathematici, 2020, 12 (2), pp.11--35. ⟨10.5802/cml.66⟩
Accès au bibtex
https://arxiv.org/pdf/1205.1696 BibTex
ref_biblio
Julien Roques, Michael F. Singer. On the algebraic dependence of holonomic functions. 2020. ⟨hal-02986384⟩
titre
On the algebraic dependence of holonomic functions
auteur
Julien Roques, Michael F. Singer
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-02986384/file/Roques_Singer.pdf BibTex
ref_biblio
Joel Dahne, Bruno Salvy. Computation of Tight Enclosures for Laplacian Eigenvalues. SIAM Journal on Scientific Computing, 2020, 42 (5), pp.A3210-A3232. ⟨10.1137/20M1326520⟩. ⟨hal-03015691⟩
titre
Computation of Tight Enclosures for Laplacian Eigenvalues
auteur
Joel Dahne, Bruno Salvy
article
SIAM Journal on Scientific Computing, 2020, 42 (5), pp.A3210-A3232. ⟨10.1137/20M1326520⟩
Accès au bibtex
https://arxiv.org/pdf/2003.08095 BibTex
ref_biblio
Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F. Singer. WALKS IN THE QUARTER PLANE: GENUS ZERO CASE. Journal of Combinatorial Theory, Series A, 2020, 174, pp.105251. ⟨10.1016/j.jcta.2020.105251⟩. ⟨hal-02990927⟩
titre
WALKS IN THE QUARTER PLANE: GENUS ZERO CASE
auteur
Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F. Singer
article
Journal of Combinatorial Theory, Series A, 2020, 174, pp.105251. ⟨10.1016/j.jcta.2020.105251⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02990927/file/v4_walkgenuszero.pdf BibTex
ref_biblio
Frédéric Chyzak, Philippe Dumas. A Gröbner-Basis Theory for Divide-and-Conquer Recurrences. ISSAC - 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404055⟩. ⟨hal-02885579⟩
titre
A Gröbner-Basis Theory for Divide-and-Conquer Recurrences
auteur
Frédéric Chyzak, Philippe Dumas
article
ISSAC - 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404055⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02885579/file/gbdacr.pdf BibTex
ref_biblio
Jose Capco, Mohab Safey El Din, Josef Schicho. Robots, computer algebra and eight connected components. ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.62-69, ⟨10.1145/3373207.3404048⟩. ⟨hal-02925478⟩
titre
Robots, computer algebra and eight connected components
auteur
Jose Capco, Mohab Safey El Din, Josef Schicho
article
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.62-69, ⟨10.1145/3373207.3404048⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02925478/file/casasc20.pdf BibTex
ref_biblio
Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff. Computing the real isolated points of an algebraic hypersurface. ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.297-304, ⟨10.1145/3373207.3404049⟩. ⟨hal-02920059⟩
titre
Computing the real isolated points of an algebraic hypersurface
auteur
Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff
article
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.297-304, ⟨10.1145/3373207.3404049⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02920059/file/arxiv.pdf BibTex
ref_biblio
Alin Bostan. Computing the $N$-th Term of a $q$-Holonomic Sequence. ISSAC 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.8, ⟨10.1145/3373207.3404060⟩. ⟨hal-02882885⟩
titre
Computing the $N$-th Term of a $q$-Holonomic Sequence
auteur
Alin Bostan
article
ISSAC 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.8, ⟨10.1145/3373207.3404060⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02882885/file/Bostan20-arxiv.pdf BibTex
ref_biblio
Moulay Barkatou, Thomas Cluzeau, Lucia Di Vizio, Jacques-Arthur Weil. Reduced forms of linear differential systems and the intrinsic Galois-Lie algebra of Katz. Symmetry, Integrability and Geometry : Methods and Applications, 2020, ⟨10.3842/SIGMA.2020.054⟩. ⟨hal-02423756⟩
titre
Reduced forms of linear differential systems and the intrinsic Galois-Lie algebra of Katz
auteur
Moulay Barkatou, Thomas Cluzeau, Lucia Di Vizio, Jacques-Arthur Weil
article
Symmetry, Integrability and Geometry : Methods and Applications, 2020, ⟨10.3842/SIGMA.2020.054⟩
Accès au bibtex
https://arxiv.org/pdf/1912.10567 BibTex
ref_biblio
Alin Bostan, Antonio Jiménez-Pastor. On the exponential generating function of labelled trees. Comptes rendus de l'Académie des sciences. Série I, Mathématique, 2020, 358 (9-10), pp.1005-1009. ⟨hal-03084481⟩
titre
On the exponential generating function of labelled trees
auteur
Alin Bostan, Antonio Jiménez-Pastor
article
Comptes rendus de l'Académie des sciences. Série I, Mathématique, 2020, 358 (9-10), pp.1005-1009
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03084481/file/BoJi20.pdf BibTex
ref_biblio
Alin Bostan, Frédéric Chyzak, Antonio Jiménez-Pastor, Pierre Lairez. The Sage Package comb_walks for Walks in the Quarter Plane. ACM Communications in Computer Algebra, 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩. ⟨hal-02902709⟩
titre
The Sage Package comb_walks for Walks in the Quarter Plane
auteur
Alin Bostan, Frédéric Chyzak, Antonio Jiménez-Pastor, Pierre Lairez
article
ACM Communications in Computer Algebra, 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02902709/file/bcjl_issac_sftw.pdf BibTex
ref_biblio
Alin Bostan, Andrew Elvey-Price, Anthony John Guttmann, Jean-Marie Maillard. Stieltjes moment sequences for pattern-avoiding permutations. The Electronic Journal of Combinatorics, 2020, 27 (4), pp.1-59. ⟨10.37236/xxxx⟩. ⟨hal-02425917v3⟩
titre
Stieltjes moment sequences for pattern-avoiding permutations
auteur
Alin Bostan, Andrew Elvey-Price, Anthony John Guttmann, Jean-Marie Maillard
article
The Electronic Journal of Combinatorics, 2020, 27 (4), pp.1-59. ⟨10.37236/xxxx⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02425917/file/BoElGuMa20.pdf BibTex