Pierre Lairez

26
Documents
Identifiants chercheurs

Présentation

Publications

4
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
1
1
1
1
1
1
4
3
3
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
3
2
1
1
1
1
1
1
1
1
1
1

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

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-04144264 v2
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-03022612 v2
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-02974062 v1
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-03784522 v1
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-03590675 v4
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-02902709 v1
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-01631778 v2
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-01932147 v2
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-01545657 v2
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-01220573 v2
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-01178588 v3
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-01239906 v2
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-00981114 v3
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-00987538 v1
Image document

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-04697800 v1
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-04000248 v2
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-03232068 v2
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-02110556 v1
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-01788619 v1
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-01265226 v2
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-01188213 v2
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-00777675 v2
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-01097145 v1