2025

ref_biblio

Alin Bostan. An arithmetic characterization of some algebraic functions and a new proof of an algebraicity prediction by Golyshev. International Mathematics Research Notices, In press, pp.7. ⟨hal-04863945⟩

titre

An arithmetic characterization of some algebraic functions and a new proof of an algebraicity prediction by Golyshev

auteur

Alin Bostan

article

International Mathematics Research Notices, In press, pp.7

Accès au texte intégral et bibtex

2024

ref_biblio

Thomas Dreyfus. HYPERTRANSCENDENCE AND LINEAR DIFFERENCE EQUATIONS, THE EXPONENTIAL CASE. 2024. ⟨hal-04813891⟩

titre

HYPERTRANSCENDENCE AND LINEAR DIFFERENCE EQUATIONS, THE EXPONENTIAL CASE

auteur

Thomas Dreyfus

article

2024

Accès au texte intégral et bibtex

ref_biblio

Thomas Dreyfus, Marina Poulet. ON THE COMPUTATION OF THE DIFFERENCE GALOIS GROUPS OF ORDER THREE EQUATIONS. 2024. ⟨hal-04813783⟩

titre

ON THE COMPUTATION OF THE DIFFERENCE GALOIS GROUPS OF ORDER THREE EQUATIONS

auteur

Thomas Dreyfus, Marina Poulet

article

2024

Accès au texte intégral et bibtex

ref_biblio

Thomas Dreyfus, Andrew Elvey Price, Kilian Raschel. Enumeration of weighted quadrant walks: criteria for algebraicity and D-finiteness. 2024. ⟨hal-04801813⟩

titre

Enumeration of weighted quadrant walks: criteria for algebraicity and D-finiteness

auteur

Thomas Dreyfus, Andrew Elvey Price, Kilian Raschel

article

2024

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. 2024. ⟨hal-04234870⟩

titre

Inhomogeneous order 1 iterative functional equations with applications to combinatorics

auteur

Lucia Di Vizio, Gwladys Fernandes, Marni Mishna

article

2024

Accès au texte intégral et bibtex

ref_biblio

Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba. First-order factors of linear Mahler operators. 2024. ⟨hal-04502052v2⟩

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

Daniela Kaufmann, Jérémy Berthomieu. Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs. 2024. ⟨hal-04804486⟩

titre

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs

auteur

Daniela Kaufmann, Jérémy Berthomieu

article

2024

Accès au texte intégral et bibtex

ref_biblio

Thomas Dreyfus, Changgui Zhang. On the product of two generic $q$-Gevrey series. 2024. ⟨hal-04715276⟩

titre

On the product of two generic $q$-Gevrey series

auteur

Thomas Dreyfus, Changgui Zhang

article

2024

Accès au texte intégral et bibtex

ref_biblio

Pierre Lairez, Aleksandr Storozhenko. Conway's cosmological theorem and automata theory. 2024. ⟨hal-04715078⟩

titre

Conway's cosmological theorem and automata theory

auteur

Pierre Lairez, Aleksandr Storozhenko

article

2024

Accès au texte intégral et bibtex

ref_biblio

Jean-Luc Baril, Mireille Bousquet-Mélou, Sergey Kirgizov, Mehdi Naima. The ascent lattice on Dyck paths. 2024. ⟨hal-04708847⟩

titre

The ascent lattice on Dyck paths

auteur

Jean-Luc Baril, Mireille Bousquet-Mélou, Sergey Kirgizov, Mehdi Naima

article

2024

Accès au texte intégral et bibtex

ref_biblio

Ehud de Shalit, Charlotte Hardouin, Julien Roques. Hypertranscendence and $q$-difference equations over elliptic function fields. 2024. ⟨hal-04697635⟩

titre

Hypertranscendence and $q$-difference equations over elliptic function fields

auteur

Ehud de Shalit, Charlotte Hardouin, Julien Roques

article

2024

Accès au texte intégral et bibtex

ref_biblio

Andrew Elvey Price, Andreas Nessmann, Kilian Raschel. Logarithmic terms in discrete heat kernel expansions in the quadrant. Annales de l’Institut Henri Poincaré (D) Combinatorics, Physics and their Interactions, 2024, ⟨10.4171/AIHPD/199⟩. ⟨hal-04801847⟩

titre

Logarithmic terms in discrete heat kernel expansions in the quadrant

auteur

Andrew Elvey Price, Andreas Nessmann, Kilian Raschel

article

Annales de l’Institut Henri Poincaré (D) Combinatorics, Physics and their Interactions, 2024, ⟨10.4171/AIHPD/199⟩

Accès au bibtex

ref_biblio

Alin Bostan, Frédéric Chapoton. Continued fractions, orthogonal polynomials and Dirichlet series. Experimental Mathematics, 2024. ⟨hal-03832808v3⟩

titre

Continued fractions, orthogonal polynomials and Dirichlet series

auteur

Alin Bostan, Frédéric Chapoton

article

Experimental Mathematics, 2024

Accès au texte intégral et bibtex

ref_biblio

Alexandre Guillemot, Pierre Lairez. Validated Numerics for Algebraic Path Tracking. ISSAC 2024 - International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh NC, United States. pp.36-45, ⟨10.1145/3666000.3669673⟩. ⟨hal-04697800⟩

titre

Validated Numerics for Algebraic Path Tracking

auteur

Alexandre Guillemot, Pierre Lairez

article

ISSAC 2024 - International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh NC, United States. pp.36-45, ⟨10.1145/3666000.3669673⟩

Accès au texte intégral et bibtex

ref_biblio

Jérémy Berthomieu, Rafael Mohr. Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting. 49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.307-315, ⟨10.1145/3666000.3669703⟩. ⟨hal-04440914v2⟩

titre

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting

auteur

Jérémy Berthomieu, Rafael Mohr

article

49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.307-315, ⟨10.1145/3666000.3669703⟩

Accès au texte intégral et bibtex

ref_biblio

Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din. Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations. ISSAC 2024 - 49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.400-409, ⟨10.1145/3666000.3669713⟩. ⟨hal-04450728v2⟩

titre

Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations

auteur

Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din

article

ISSAC 2024 - 49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.400-409, ⟨10.1145/3666000.3669713⟩

Accès au texte intégral et bibtex

ref_biblio

C. Faverjon, Julien Roques. Hahn series and Mahler equations: Algorithmic aspects. Journal of the London Mathematical Society, 2024, 110 (1), ⟨10.1112/jlms.12945⟩. ⟨hal-04822005⟩

titre

Hahn series and Mahler equations: Algorithmic aspects

auteur

C. Faverjon, Julien Roques

article

Journal of the London Mathematical Society, 2024, 110 (1), ⟨10.1112/jlms.12945⟩

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. 31st IEEE International Symposium on Computer Arithmetic, Jun 2024, Malaga, Spain. pp.96-103, ⟨10.1109/ARITH61463.2024.00025⟩. ⟨hal-04466875⟩

titre

Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm

auteur

Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba

article

31st IEEE International Symposium on Computer Arithmetic, Jun 2024, Malaga, Spain. pp.96-103, ⟨10.1109/ARITH61463.2024.00025⟩

Accès au texte intégral et bibtex

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

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

ref_biblio

Thomas Dreyfus, Viktoria Heu. Degeneration from difference to differential Okamoto spaces for the sixth Painlevé equation. Annales de la Faculté des Sciences de Toulouse. Mathématiques., 2024, 32 (5), pp.969-1041. ⟨10.5802/afst.1760⟩. ⟨hal-03513970⟩

titre

Degeneration from difference to differential Okamoto spaces for the sixth Painlevé equation

auteur

Thomas Dreyfus, Viktoria Heu

article

Annales de la Faculté des Sciences de Toulouse. Mathématiques., 2024, 32 (5), pp.969-1041. ⟨10.5802/afst.1760⟩

Accès au bibtex

ref_biblio

Pierre Lairez, Eric Pichon-Pharabod, Pierre Vanhove. Effective homology and periods of complex projective hypersurfaces. Mathematics of Computation, 2024, 93, pp.2985-3025. ⟨10.1090/mcom/3947⟩. ⟨hal-04144264v2⟩

titre

Effective homology and periods of complex projective hypersurfaces

auteur

Pierre Lairez, Eric Pichon-Pharabod, Pierre Vanhove

article

Mathematics of Computation, 2024, 93, pp.2985-3025. ⟨10.1090/mcom/3947⟩

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

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

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

Boris Adamczewski, Colin Faverjon. Mahler's method in several variables and finite automata. Annals of Mathematics, In press. ⟨hal-04763287⟩

titre

Mahler's method in several variables and finite automata

auteur

Boris Adamczewski, Colin Faverjon

article

Annals of Mathematics, In press

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

ref_biblio

Mireille Bousquet-Mélou, Michael Wallner. Walks avoiding a quadrant and the reflection principle. European Journal of Combinatorics, 2024, 119, 103803, 43 p. ⟨10.1016/j.ejc.2023.103803⟩. ⟨hal-03385088⟩

titre

Walks avoiding a quadrant and the reflection principle

auteur

Mireille Bousquet-Mélou, Michael Wallner

article

European Journal of Combinatorics, 2024, 119, 103803, 43 p. ⟨10.1016/j.ejc.2023.103803⟩

Accès au texte intégral et bibtex

ref_biblio

Eric Delaygue, Tanguy Rivoal. On Abel's problem and Gauss congruences. International Mathematics Research Notices, 2024, 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, 2024, 2024 (5), pp.4301-4327. ⟨10.1093/imrn/rnad229⟩

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, 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

ref_biblio

Eric Delaygue. A Lindemann-Weierstrass theorem for $E$-functions. Journal für die reine und angewandte Mathematik, In press. ⟨hal-03961260⟩

titre

A Lindemann-Weierstrass theorem for $E$-functions

auteur

Eric Delaygue

article

Journal für die reine und angewandte Mathematik, In press

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. Electronic Journal of Probability, 2024, ⟨10.48550/arXiv.2101.01562⟩. ⟨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

Electronic Journal of Probability, 2024, ⟨10.48550/arXiv.2101.01562⟩

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, 2024, 93, pp.977-1017. ⟨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, 2024, 93, pp.977-1017

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. Bulletin of the American Mathematical Society, 2024, 61 (4), pp.609-658. ⟨10.1090/bull/1835⟩. ⟨hal-04065092v2⟩

titre

Algebraic solutions of linear differential equations: An arithmetic approach

auteur

Alin Bostan, Xavier Caruso, Julien Roques

article

Bulletin of the American Mathematical Society, 2024, 61 (4), pp.609-658. ⟨10.1090/bull/1835⟩

Accès au texte intégral et bibtex

ref_biblio

B Adamczewski, É Delaygue. Algebraic relations between sine and cosine values. The American Mathematical Monthly, In press. ⟨hal-04598648⟩

titre

Algebraic relations between sine and cosine values

auteur

B Adamczewski, É Delaygue

article

The American Mathematical Monthly, In press

Accès au texte intégral et bibtex

ref_biblio

Boris Adamczewski, Colin Faverjon. Relations algébriques entre valeurs de E-fonctions ou de M-fonctions. Comptes Rendus. Mathématique, A paraître. ⟨hal-04021940⟩

titre

Relations algébriques entre valeurs de E-fonctions ou de M-fonctions

auteur

Boris Adamczewski, Colin Faverjon

article

Comptes Rendus. Mathématique, A paraître

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. American Journal of Mathematics, In press. ⟨hal-03091272v3⟩

titre

Differential transcendence of Bell numbers and relatives: a Galois theoretic approach

auteur

Alin Bostan, Lucia Di Vizio, Kilian Raschel

article

American Journal of Mathematics, In press

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

Boris Adamczewski, Jason P. Bell, Eric Delaygue, Frédéric Jouhet. Cyclotomic valuation of q-Pochhammer symbols and q-integrality of basic hypergeometric series. Acta Arithmetica, 2024. ⟨hal-03783937⟩

titre

Cyclotomic valuation of q-Pochhammer symbols and q-integrality of basic hypergeometric series

auteur

Boris Adamczewski, Jason P. Bell, Eric Delaygue, Frédéric Jouhet

article

Acta Arithmetica, 2024

Accès au texte intégral et 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-04604501v2⟩

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

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

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

Pierre Lairez, Emre Can Sertöz. Separation of periods of quartic surfaces. Algebra & Number Theory, 2023, 17 (10), pp.1753-1778. ⟨10.2140/ant.2023.17.1753⟩. ⟨hal-03022612v2⟩

titre

Separation of periods of quartic surfaces

auteur

Pierre Lairez, Emre Can Sertöz

article

Algebra & Number Theory, 2023, 17 (10), pp.1753-1778. ⟨10.2140/ant.2023.17.1753⟩

Accès au texte intégral et bibtex

ref_biblio

Boris Adamczewski, Colin Faverjon. A New Proof of Nishioka's Theorem in Mahler's Method. Comptes Rendus. Mathématique, 2023, 361 (G6), pp.1011-1028. ⟨10.48550/arXiv.2210.14528⟩. ⟨hal-03830022⟩

titre

A New Proof of Nishioka's Theorem in Mahler's Method

auteur

Boris Adamczewski, Colin Faverjon

article

Comptes Rendus. Mathématique, 2023, 361 (G6), pp.1011-1028. ⟨10.48550/arXiv.2210.14528⟩

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

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

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

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

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

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, 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

Mireille Bousquet-Mélou, Frédéric Chapoton. INTERVALS IN THE GREEDY TAMARI POSETS. Combinatorial Theory, 2023, 4 (1), ⟨10.5070/C64163842⟩. ⟨hal-04056126⟩

titre

INTERVALS IN THE GREEDY TAMARI POSETS

auteur

Mireille Bousquet-Mélou, Frédéric Chapoton

article

Combinatorial Theory, 2023, 4 (1), ⟨10.5070/C64163842⟩

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

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

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

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

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

Thomas Dreyfus. Differential algebraic generating series of weighted walks in the quarter plane. Seminaire Lotharingien de Combinatoire, 2023, Vol. 87B, paper 10. ⟨hal-03513972⟩

titre

Differential algebraic generating series of weighted walks in the quarter plane

auteur

Thomas Dreyfus

article

Seminaire Lotharingien de Combinatoire, 2023, Vol. 87B, paper 10

Accès au 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

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

2022

ref_biblio

Viet Hung Hoang, Kilian Raschel, Pierre Tarrago. Harmonic functions for singular quadrant walks. 2022. ⟨hal-03913217⟩

titre

Harmonic functions for singular quadrant walks

auteur

Viet Hung Hoang, Kilian Raschel, Pierre Tarrago

article

2022

Accès au texte intégral et bibtex

ref_biblio

Andrew Elvey Price. ENUMERATION OF THREE QUADRANT WALKS WITH SMALL STEPS AND WALKS ON OTHER M-QUADRANT CONES. 2022. ⟨hal-03880889⟩

titre

ENUMERATION OF THREE QUADRANT WALKS WITH SMALL STEPS AND WALKS ON OTHER M-QUADRANT CONES

auteur

Andrew Elvey Price

article

2022

Accès au texte intégral et bibtex

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 texte intégral et 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

Charlotte Hardouin, Lucia Di Vizio. Intrinsic approach to Galois theory of q-difference equations. Memoirs of the American Mathematical Society, 2022, 279 (1376), ⟨10.1090/memo/1376⟩. ⟨hal-02147378⟩

titre

Intrinsic approach to Galois theory of q-difference equations

auteur

Charlotte Hardouin, Lucia Di Vizio

article

Memoirs of the American Mathematical Society, 2022, 279 (1376), ⟨10.1090/memo/1376⟩

Accès au 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

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

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

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

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

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

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

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

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

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

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

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. 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

Boris Adamczewski, Jason Bell, Daniel Smertnig. A height gap theorem for coefficients of Mahler functions. Journal of the European Mathematical Society, 2022, ⟨10.4171/JEMS/1244⟩. ⟨hal-03860140⟩

titre

A height gap theorem for coefficients of Mahler functions

auteur

Boris Adamczewski, Jason Bell, Daniel Smertnig

article

Journal of the European Mathematical Society, 2022, ⟨10.4171/JEMS/1244⟩

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

Andrew Elvey Price. Enumeration of walks with small steps avoiding a quadrant. FPSAC 2022, 2022, Bangalore, India. ⟨hal-03880904⟩

titre

Enumeration of walks with small steps avoiding a quadrant

auteur

Andrew Elvey Price

article

FPSAC 2022, 2022, Bangalore, India

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

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

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

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. 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

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

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

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

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

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

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

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

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

ref_biblio

Thomas Dreyfus, Charlotte Hardouin. Length derivative of the generating series of walks confined in the quarter plane. Confluentes Mathematici, 2021, 13 (2), pp.39-92. ⟨10.5802/cml.77⟩. ⟨hal-03513964⟩

titre

Length derivative of the generating series of walks confined in the quarter plane

auteur

Thomas Dreyfus, Charlotte Hardouin

article

Confluentes Mathematici, 2021, 13 (2), pp.39-92. ⟨10.5802/cml.77⟩

Accès au 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

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

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

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

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

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