Publications HAL du projet ANR. 50512

2021

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://hal.inria.fr/hal-02917827/file/BoMo21-final.pdf BibTex

2020

ref_biblio
Alin Bostan, Lucia Di Vizio, Kilian Raschel. Differential transcendence of Bell numbers and relatives: a Galois theoretic approach. 2020. ⟨hal-03091272⟩
titre
Differential transcendence of Bell numbers and relatives: a Galois theoretic approach
auteur
Alin Bostan, Lucia Di Vizio, Kilian Raschel
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03091272/file/klazar-galois.pdf BibTex
ref_biblio
Eric Delaygue, Tanguy Rivoal. On primary pseudo-polynomials (Around Ruzsa's Conjecture). 2020. ⟨hal-03083185⟩
titre
On primary pseudo-polynomials (Around Ruzsa's Conjecture)
auteur
Eric Delaygue, Tanguy Rivoal
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03083185/file/ruzsa.pdf BibTex
ref_biblio
Stéphane Fischler, Tanguy Rivoal. A note on G-operators of order 2. 2020. ⟨hal-03065680⟩
titre
A note on G-operators of order 2
auteur
Stéphane Fischler, Tanguy Rivoal
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03065680/file/gopinh.pdf BibTex
ref_biblio
Huu Phuoc Le, Mohab Safey El Din. Solving parametric systems of polynomial equations over the reals through Hermite matrices. 2020. ⟨hal-03029441⟩
titre
Solving parametric systems of polynomial equations over the reals through Hermite matrices
auteur
Huu Phuoc Le, Mohab Safey El Din
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03029441/file/main_rrc.pdf BibTex
ref_biblio
Peter Bürgisser, Felipe Cucker, Pierre Lairez. Rigid continuation paths II. Structured polynomial systems. 2020. ⟨hal-02974062⟩
titre
Rigid continuation paths II. Structured polynomial systems
auteur
Peter Bürgisser, Felipe Cucker, Pierre Lairez
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02974062/file/rigid-paths-2.pdf BibTex
ref_biblio
T Rivoal. Factors of E-operators with an η-apparent singularity at zero. 2020. ⟨hal-02953453⟩
titre
Factors of E-operators with an η-apparent singularity at zero
auteur
T Rivoal
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02953453/file/factorseop.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. 2020. ⟨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
2020
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927636/file/hal-critpoint-main.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. 2020. ⟨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
2020
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927630/file/hal-column-support-main.pdf BibTex
ref_biblio
Joel Dahne, Bruno Salvy. Computation of Tight Enclosures for Laplacian Eigenvalues. SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 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, Society for Industrial and Applied Mathematics, 2020, 42 (5), pp.A3210-A3232. ⟨10.1137/20M1326520⟩
Accès au bibtex
https://arxiv.org/pdf/2003.08095 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://hal.inria.fr/hal-02885579/file/gbdacr.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, 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, Greece. pp.297-304, ⟨10.1145/3373207.3404049⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02920059/file/arxiv.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
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://hal.inria.fr/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. SIGMA,Symmetry Integrability ,Geometry and Applications, 2020. ⟨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
SIGMA,Symmetry Integrability ,Geometry and Applications, 2020
Accès au bibtex
https://arxiv.org/pdf/1912.10567 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, Association for Computing Machinery (ACM), 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, Association for Computing Machinery (ACM), 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02902709/file/bcjl_issac_sftw.pdf BibTex
ref_biblio
Alin Bostan, Sergey Yurkevich. Fast Computation of the $N$-th Term of a $q$-Holonomic Sequence and Applications. 2020. ⟨hal-03084680⟩
titre
Fast Computation of the $N$-th Term of a $q$-Holonomic Sequence and Applications
auteur
Alin Bostan, Sergey Yurkevich
article
2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03084680/file/2012.08656.pdf BibTex
ref_biblio
Alin Bostan, Fernando Chamizo, Mikael Sundqvist. On an Integral Identity. American Mathematical Monthly, Mathematical Association of America, In press. ⟨hal-03084594⟩
titre
On an Integral Identity
auteur
Alin Bostan, Fernando Chamizo, Mikael Sundqvist
article
American Mathematical Monthly, Mathematical Association of America, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03084594/file/final.pdf BibTex
ref_biblio
Alin Bostan, Sergey Yurkevich. On a Class of Hypergeometric Diagonals. 2020. ⟨hal-03084672⟩
titre
On a Class of Hypergeometric Diagonals
auteur
Alin Bostan, Sergey Yurkevich
article
2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03084672/file/2008.12809.pdf BibTex
ref_biblio
Alin Bostan, Manuel Kauers, Thibaut Verron. The generating function of Kreweras walks with interacting boundaries is not algebraic. 2020. ⟨hal-03084659⟩
titre
The generating function of Kreweras walks with interacting boundaries is not algebraic
auteur
Alin Bostan, Manuel Kauers, Thibaut Verron
article
2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03084659/file/2012.00816.pdf BibTex
ref_biblio
Alin Bostan, Andrew Elvey-Price, Anthony Guttmann, Jean-Marie Maillard. Stieltjes moment sequences for pattern-avoiding permutations. The Electronic Journal of Combinatorics, Open Journal Systems, In press, pp.59. ⟨10.37236/xxxx⟩. ⟨hal-02425917v3⟩
titre
Stieltjes moment sequences for pattern-avoiding permutations
auteur
Alin Bostan, Andrew Elvey-Price, Anthony Guttmann, Jean-Marie Maillard
article
The Electronic Journal of Combinatorics, Open Journal Systems, In press, pp.59. ⟨10.37236/xxxx⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02425917/file/BoElGuMa20.pdf BibTex
ref_biblio
Lucia Di Vizio. Difference Galois Theory For The "Applied" Mathematician. Arithmetic and geometry over local fields, In press. ⟨hal-02986455⟩
titre
Difference Galois Theory For The "Applied" Mathematician
auteur
Lucia Di Vizio
article
Arithmetic and geometry over local fields, In press
Accès au bibtex
https://arxiv.org/pdf/2011.00932 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, Elsevier, In press. ⟨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, Elsevier, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03084481/file/BoJi20.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, Association for Computing Machinery (ACM), 2020. ⟨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, Association for Computing Machinery (ACM), 2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02929626/file/abstract.pdf BibTex
ref_biblio
Lucia Di Vizio, Charlotte Hardouin. Galois theories for $q$-difference equations: comparison theorems. Confluentes Mathematici, Institut Camille Jordan et Unité de Mathématiques Pures et Appliquées, In press. ⟨hal-00794745⟩
titre
Galois theories for $q$-difference equations: comparison theorems
auteur
Lucia Di Vizio, Charlotte Hardouin
article
Confluentes Mathematici, Institut Camille Jordan et Unité de Mathématiques Pures et Appliquées, In press
Accès au bibtex
https://arxiv.org/pdf/1205.1696 BibTex