Pierre Lairez

According to our database, Pierre Lairez authored at least 25 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Axioms for a theory of signature bases.

Pierre Lairez

J. Symb. Comput., July, 2024

Conway's cosmological theorem and automata theory.

Pierre Lairez, Aleksandr Storozhenko

CoRR, 2024

Transcendental methods in numerical algebraic geometry.

Pierre Lairez

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

Validated Numerics for Algebraic Path Tracking.

Alexandre Guillemot, Pierre Lairez

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

2023

Foreword.

Anton Leykin, Pierre Lairez

J. Symb. Comput., 2023

A signature-based algorithm for computing the nondegenerate locus of a polynomial system.

Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din

J. Symb. Comput., 2023

Effective homology and periods of complex projective hypersurfaces.

Pierre Lairez, Eric Pichon-Pharabod, Pierre Vanhove

CoRR, 2023

A Direttissimo Algorithm for Equidimensional Decomposition.

Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system.

Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din

ACM Commun. Comput. Algebra, 2022

2021

Computing the dimension of a real algebraic set.

Pierre Lairez, Mohab Safey El Din

CoRR, 2021

Computing the Dimension of Real Algebraic Sets.

Pierre Lairez, Mohab Safey El Din

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Rigid continuation paths II. Structured polynomial systems.

Peter Bürgisser, Felipe Cucker, Pierre Lairez

CoRR, 2020

The Sage package comb_walks for walks in the quarter plane.

Antonio Jiménez-Pastor, Alin Bostan, Frédéric Chyzak, Pierre Lairez

ACM Commun. Comput. Algebra, 2020

2019

A Numerical Transcendental Method in Algebraic Geometry: Computation of Picard Groups and Related Invariants.

Pierre Lairez, Emre Can Sertöz

SIAM J. Appl. Algebra Geom., 2019

Computing the Homology of Basic Semialgebraic Sets in Weak Exponential Time.

Peter Bürgisser, Felipe Cucker, Pierre Lairez

J. ACM, 2019

Computing the Volume of Compact Semi-Algebraic Sets.

Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions.

Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Multiple binomial sums.

Alin Bostan, Pierre Lairez, Bruno Salvy

J. Symb. Comput., 2017

A Deterministic Algorithm to Compute Approximate Roots of Polynomial Systems in Polynomial Average Time.

Pierre Lairez

Found. Comput. Math., 2017

Rigid continuation paths I. Quasilinear average complexity for solving polynomial systems.

Pierre Lairez

CoRR, 2017

2016

Computing periods of rational integrals.

Pierre Lairez

Math. Comput., 2016

On p-Adic Differential Equations with Separation of Variables.

Pierre Lairez, Tristan Vaccon

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

Computing the Chow Variety of Quadratic Space Curves.

Peter Bürgisser, Kathlén Kohn, Pierre Lairez, Bernd Sturmfels

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

2014

Périodes d'intégrales rationnelles : algorithmes et applications. (Periods of rational integrals : algorithms and applications).

Pierre Lairez

PhD thesis, 2014

2013

Creative telescoping for rational functions using the griffiths: dwork method.

Alin Bostan, Pierre Lairez, Bruno Salvy

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013