Pierre Lairez

27
Documents
Identifiants chercheurs

Présentation

Publications

2
3
5
1
1
3
2
1
4
1
2
2
3
3
3
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
11
6
3
2
1
1
1
1
1
4
3
3
3
3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
3
2
1
1
1
1
1
1
1
1
1
1
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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