Accéder directement au contenu

Pierre Lairez

24
Documents
Identifiants chercheurs

Présentation

Publications

Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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