Publications HAL du projet ANR. 50512

2024

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Alin Bostan, Lucia Di Vizio, Kilian Raschel. Differential transcendence of Bell numbers and relatives: a Galois theoretic approach. 2023. ⟨hal-03091272v2⟩
titre: Differential transcendence of Bell numbers and relatives: a Galois theoretic approach
auteur: Alin Bostan, Lucia Di Vizio, Kilian Raschel
article: 2023
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Eric Delaygue, Tanguy Rivoal. On Abel's problem and Gauss congruences. 2023. ⟨hal-03772016v2⟩
titre: On Abel's problem and Gauss congruences
auteur: Eric Delaygue, Tanguy Rivoal
article: 2023
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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. ⟨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
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Marina Poulet, Tanguy Rivoal. Radial behavior of Mahler functions. 2022. ⟨hal-03703010⟩
titre: Radial behavior of Mahler functions
auteur: Marina Poulet, Tanguy Rivoal
article: 2022
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Thomas Dreyfus, Jacques-Arthur Weil. Differential Galois Theory and Integration. Monographs in Symbolic Computation, Anti-Differentiation and the Calculation of Feynman Amplitudes, (2021), 2021. ⟨hal-03357833⟩
titre: Differential Galois Theory and Integration
auteur: Thomas Dreyfus, Jacques-Arthur Weil
article: Monographs in Symbolic Computation, Anti-Differentiation and the Calculation of Feynman Amplitudes, (2021), 2021
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Boris Adamczewski, Thomas Dreyfus, Charlotte Hardouin, Michael Wibmer. Algebraic independence and linear difference equations. Journal of the European Mathematical Society, In press, ⟨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, In press, ⟨10.4171/JEMS/1316⟩
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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