Pierre Lairez

Identifiants chercheurs

IdHAL :

lairez

IdRef :

253134714

Présentation

Publications

Article dans une revue (17)

Faster multivariate integration in D-modules Hadrien Brochet,Frédéric Chyzak,Pierre Lairez Journal of Symbolic Computation, 2026, 137, pp.102569. ⟨10.1016/j.jsc.2026.102569⟩ Article dans une revue hal-05289785v2
Conway's cosmological theorem and automata theory Pierre Lairez,Aleksandr Storozhenko The American Mathematical Monthly, 2025, 132 (9), pp.867-882. ⟨10.1080/00029890.2025.2549225⟩ Article dans une revue hal-04715078v1
Effective homology and periods of complex projective hypersurfaces Pierre Lairez,Eric Pichon-Pharabod,Pierre Vanhove Mathematics of Computation, 2024, 93, pp.2985-3025. ⟨10.1090/mcom/3947⟩ Article dans une revue hal-04144264v2
Axioms for a theory of signature bases Pierre Lairez Journal of Symbolic Computation, 2024, 123, pp.102275. ⟨10.1016/j.jsc.2023.102275⟩ Article dans une revue hal-03830003v3
Rigid continuation paths II. Structured polynomial systems Peter Bürgisser,Felipe Cucker,Pierre Lairez Forum of Mathematics, Pi, 2023, 11, pp.e12. ⟨10.1017/fmp.2023.7⟩ Article dans une revue hal-02974062v1
Separation of periods of quartic surfaces Pierre Lairez,Emre Can Sertöz Algebra & Number Theory, 2023, 17 (10), pp.1753-1778. ⟨10.2140/ant.2023.17.1753⟩ Article dans une revue hal-03022612v2
Algorithms for minimal Picard-Fuchs operators of Feynman integrals Pierre Lairez,Pierre Vanhove Letters in Mathematical Physics, 2023, 113 (2), pp.37. ⟨10.1007/s11005-023-01661-3⟩ Article dans une revue hal-03784522v1
A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System Christian Eder,Pierre Lairez,Rafael Mohr,Mohab Safey El Din Journal of Symbolic Computation, 2023, 119, pp.1-21. ⟨10.1016/j.jsc.2023.02.001⟩ Article dans une revue hal-03590675v4
The Sage Package comb_walks for Walks in the Quarter Plane Alin Bostan,Frédéric Chyzak,Antonio Jiménez-Pastor,Pierre Lairez ACM Communications in Computer Algebra, 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩ Article dans une revue hal-02902709v1
Rigid continuation paths I. Quasilinear average complexity for solving polynomial systems Pierre Lairez Journal of the American Mathematical Society, In press, 33 (2), pp.487-526. ⟨10.1090/jams/938⟩ Article dans une revue hal-01631778v2
A numerical transcendental method in algebraic geometry: Computation of Picard groups and related invariants Pierre Lairez,Emre Can Sertöz SIAM Journal on Applied Algebra and Geometry, 2019, 3 (4), pp.559-584. ⟨10.1137/18M122861X⟩ Article dans une revue hal-01932147v2
Computing the Homology of Basic Semialgebraic Sets in Weak Exponential Time Peter Bürgisser,Felipe Cucker,Pierre Lairez Journal of the ACM (JACM), 2018, 66 (1), pp.1-30. ⟨10.1145/3275242⟩ Article dans une revue hal-01545657v2
Multiple binomial sums Alin Bostan,Pierre Lairez,Bruno Salvy Journal of Symbolic Computation, 2017, 80 (2), pp.351--386. ⟨10.1016/j.jsc.2016.04.002⟩ Article dans une revue hal-01220573v2
The boundary of the orbit of the 3 by 3 determinant polynomial Jesko Hüttenhain,Pierre Lairez Comptes Rendus. Mathématique, 2016, ⟨10.1016/j.crma.2016.07.002⟩ Article dans une revue hal-01239906v2
A deterministic algorithm to compute approximate roots of polynomial systems in polynomial average time Pierre Lairez Foundations of Computational Mathematics, 2016, ⟨10.1007/s10208-016-9319-7⟩ Article dans une revue hal-01178588v3
Computing periods of rational integrals Pierre Lairez Mathematics of Computation, 2016, 85, pp.1719-1752. ⟨10.1090/mcom/3054⟩ Article dans une revue hal-00981114v3
Resolution except for minimal singularities II. The case of four variables Edward Bierstone,Pierre Lairez,Pierre D. Milman Advances in Mathematics, 2013, 231 (5), pp.3003 - 3021. ⟨10.1016/j.aim.2012.08.001⟩ Article dans une revue hal-00987538v1

Communication dans un congrès (8)

Validated Numerics for Algebraic Path Tracking Alexandre Guillemot,Pierre Lairez ISSAC 2024 - International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh NC, United States. pp.36-45, ⟨10.1145/3666000.3669673⟩ Communication dans un congrès hal-04697800v1
A Direttissimo Algorithm for Equidimensional Decomposition Christian Eder,Pierre Lairez,Rafael Mohr,Mohab Safey El Din ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway Communication dans un congrès hal-04000248v2
Computing the dimension of real algebraic sets Pierre Lairez,Mohab Safey El Din ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩ Communication dans un congrès hal-03232068v2
Computing the volume of compact semi-algebraic sets Pierre Lairez,Marc Mezzarobba,Mohab Safey El Din ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China Communication dans un congrès hal-02110556v1
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions Alin Bostan,Frédéric Chyzak,Pierre Lairez,Bruno Salvy ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩ Communication dans un congrès hal-01788619v1
On p-adic differential equations with separation of variables Pierre Lairez,Tristan Vaccon ISSAC 2016, Jul 2016, Waterloo, Ontario, Canada. ⟨10.1145/2930889.2930912⟩ Communication dans un congrès hal-01265226v2
Computing the Chow variety of quadratic space curves Peter Bürgisser,Kathlén Kohn,Pierre Lairez,Bernd Sturmfels Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), Nov 2015, Berlin, Germany Communication dans un congrès hal-01188213v2
Creative telescoping for rational functions using the Griffiths-Dwork method Alin Bostan,Pierre Lairez,Bruno Salvy ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.93-100, ⟨10.1145/2465506.2465935⟩ Communication dans un congrès hal-00777675v2

Thèse (1)

Périodes d'intégrales rationnelles : algorithmes et applications Pierre Lairez Calcul formel [cs.SC]. École polytechnique, 2014. Français. ⟨NNT : ⟩ Thèse tel-01089130v1

Poster de conférence (1)

Computing periods of rational integrals Pierre Lairez Foundations of computational mathematics 2014, workshop “symbolic analysis”, Dec 2014, Montevideo, Uruguay Poster de conférence hal-01097145v1