Search - Archive ouverte HAL Access content directly

Filter your results

80 Results
ANR project: Code decision (reference) : ANR-19-CE40-0018

Reduced forms of linear differential systems and the intrinsic Galois-Lie algebra of Katz

Moulay Barkatou , Thomas Cluzeau , Lucia Di Vizio , Jacques-Arthur Weil
Symmetry, Integrability and Geometry : Methods and Applications, 2020, ⟨10.3842/SIGMA.2020.054⟩
Journal articles hal-02423756v1
Image document

The generating function of Kreweras walks with interacting boundaries is not algebraic

Alin Bostan , Manuel Kauers , Thibaut Verron
FPSAC'21 - Formal power series and algebraic combinatorics, Jul 2021, Ramat Gan, Israel. pp.12
Conference papers hal-03084659v1
Image document

Rigid continuation paths II. Structured polynomial systems

Peter Bürgisser , Felipe Cucker , Pierre Lairez
2020
Preprints, Working Papers, ... hal-02974062v1
Image document

A Direttissimo Algorithm for Equidimensional Decomposition

Christian Eder , Pierre Lairez , Rafael Mohr , Mohab Safey El Din
2023
Preprints, Working Papers, ... hal-04000248v1
Image document

Computer Algebra in the Service of Enumerative Combinatorics

Alin Bostan
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2021, Saint Petersburg, Russia. pp. 1-8, ⟨10.1145/3452143.3465507⟩
Conference papers hal-03427873v1
Image document

The art of algorithmic guessing in gfun

Sergey Yurkevich
Maple Transactions, 2022, 2 (1), pp.14421. ⟨10.5206/mt.v2i1.14421⟩
Journal articles hal-03427179v2
Image document

Robots, computer algebra and eight connected components

Jose Capco , Mohab Safey El Din , Josef Schicho
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.62-69, ⟨10.1145/3373207.3404048⟩
Conference papers hal-02925478v1
Image document

Towards fast one-block quantifier elimination through generalised critical values

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

A Gröbner-Basis Theory for Divide-and-Conquer Recurrences

Frédéric Chyzak , Philippe Dumas
ISSAC - 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404055⟩
Conference papers hal-02885579v1
Image document

Functional relations of solutions of $q$-difference equations

Thomas Dreyfus , Charlotte Hardouin , Julien Roques
Mathematische Zeitschrift, 2021, ⟨10.1007/s00209-020-02669-4⟩
Journal articles hal-01959032v1
Image document

Homotopy techniques for solving sparse column support determinantal polynomial systems

George Labahn , Mohab Safey El Din , Éric Schost , Thi Xuan Vu
Journal of Complexity, 2021, 66, pp.101557. ⟨10.1016/j.jco.2021.101557⟩
Journal articles hal-02927630v1
Image document

On the stationary distribution of reflected Brownian motion in a wedge: differential properties

Mireille Bousquet-Mélou , Andrew Elvey-Price , Sandro Franceschi , Charlotte Hardouin , Kilian Raschel et al.
2021
Preprints, Working Papers, ... hal-03098489v2
Image document

Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results

Rémi Prébet , Mohab Safey El Din , Éric Schost
2022
Preprints, Working Papers, ... hal-03508000v2
Image document

On the exponential generating function of labelled trees

Alin Bostan , Antonio Jiménez-Pastor
Comptes rendus de l'Académie des sciences. Série I, Mathématique, 2020, 358 (9-10), pp.1005-1009
Journal articles hal-03084481v1
Image document

Fractions continues, polynômes orthogonaux et séries de Dirichlet

Alin Bostan , Frédéric Chapoton
2022
Preprints, Working Papers, ... hal-03832808v2
Image document

A short proof of a non-vanishing result by Conca, Krattenthaler and Watanabe

Alin Bostan
Rendiconti del Seminario Matematico della Università di Padova, In press
Journal articles hal-03216337v1
Image document

On Abel's problem and Gauss congruences

É Delaygue , T Rivoal
2022
Preprints, Working Papers, ... hal-03772016v1
Image document

Radial behavior of Mahler functions

Marina Poulet , Tanguy Rivoal
2022
Preprints, Working Papers, ... hal-03703010v1
Image document

A Lindemann-Weierstrass theorem for $E$-functions

É Delaygue
2023
Preprints, Working Papers, ... hal-03961260v1
Image document

On differentially algebraic generating series for walks in the quarter plane

Charlotte Hardouin , Michael F Singer
Selecta Mathematica (New Series), 2021, 27 (5), ⟨10.1007/s00029-021-00703-9⟩
Journal articles hal-03403948v1
Image document

Computing critical points for invariant algebraic systems

Jean-Charles Faugère , George Labahn , Mohab Safey El Din , Éric Schost , Thi Xuan Vu et al.
Journal of Symbolic Computation, 2023, 116, pp.365-399. ⟨10.1016/j.jsc.2022.10.002⟩
Journal articles hal-02927636v1

Galois theories for $q$-difference equations: comparison theorems

Lucia Di Vizio , Charlotte Hardouin
Confluentes Mathematici, 2020, 12 (2), pp.11--35. ⟨10.5802/cml.66⟩
Journal articles hal-00794745v1
Image document

Beating binary powering for polynomial matrices

Alin Bostan , Vincent Neiger , Sergey Yurkevich
2023
Preprints, Working Papers, ... hal-03979664v1
Image document

A hypergeometric proof that Iso is bijective

Alin Bostan , Sergey Yurkevich
Proceedings of the American Mathematical Society, 2022, 150 (5), pp.2131-2136. ⟨10.1090/proc/15836⟩
Journal articles hal-03426008v1
Image document

Hypertranscendence and linear difference equations

Boris Adamczewski , Thomas Dreyfus , Charlotte Hardouin
Journal of the American Mathematical Society, 2021, 34, pp.475-503. ⟨10.1090/jams/960⟩
Journal articles hal-02991494v1

Computation of Tight Enclosures for Laplacian Eigenvalues

Joel Dahne , Bruno Salvy
SIAM Journal on Scientific Computing, 2020, 42 (5), pp.A3210-A3232. ⟨10.1137/20M1326520⟩
Journal articles hal-03015691v1
Image document

msolve: A Library for Solving Polynomial Systems

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

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

Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din
2021
Preprints, Working Papers, ... hal-03188279v1
Image document

Factors of E-operators with an η-apparent singularity at zero

Tanguy Rivoal
Journal of the Mathematical Society of Japan, 2022, ⟨10.2969/jmsj/85708570⟩
Journal articles hal-02953453v2
Image document

A note on G-operators of order 2

Stéphane Fischler , Tanguy Rivoal
2021
Preprints, Working Papers, ... hal-03065680v2