Skip to Main content

Researcher identifiers

  • IdHAL : lairez
Number of documents

18

Pierre Lairez


Journal articles9 documents

  • Alin Bostan, Frédéric Chyzak, Antonio Jiménez-Pastor, Pierre Lairez. The Sage Package comb_walks for Walks in the Quarter Plane. ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩. ⟨hal-02902709⟩
  • Pierre Lairez, Emre Can Sertöz. A numerical transcendental method in algebraic geometry: Computation of Picard groups and related invarian. SIAM Journal on Applied Algebra and Geometry, Society for Industrial and Applied Mathematics 2019, 3 (4), pp.559-584. ⟨10.1137/18M122861X⟩. ⟨hal-01932147v2⟩
  • Pierre Lairez. Rigid continuation paths I. Quasilinear average complexity for solving polynomial systems. Journal of the American Mathematical Society, American Mathematical Society, In press, 33 (2), pp.487-526. ⟨10.1090/jams/938⟩. ⟨hal-01631778v2⟩
  • Peter Bürgisser, Felipe Cucker, Pierre Lairez. Computing the Homology of Basic Semialgebraic Sets in Weak Exponential Time. Journal of the ACM (JACM), Association for Computing Machinery, 2018, 66 (1), pp.1-30. ⟨10.1145/3275242⟩. ⟨hal-01545657v2⟩
  • Alin Bostan, Pierre Lairez, Bruno Salvy. Multiple binomial sums. Journal of Symbolic Computation, Elsevier, 2017, 80 (2), pp.351--386. ⟨10.1016/j.jsc.2016.04.002⟩. ⟨hal-01220573v2⟩
  • Pierre Lairez. Computing periods of rational integrals. Mathematics of Computation, American Mathematical Society, 2016, 85, pp.1719-1752. ⟨10.1090/mcom/3054⟩. ⟨hal-00981114v3⟩
  • Jesko Hüttenhain, Pierre Lairez. The boundary of the orbit of the 3 by 3 determinant polynomial. Comptes Rendus Mathématique, Elsevier Masson, 2016, ⟨10.1016/j.crma.2016.07.002⟩. ⟨hal-01239906v2⟩
  • Pierre Lairez. A deterministic algorithm to compute approximate roots of polynomial systems in polynomial average time. Foundations of Computational Mathematics, Springer Verlag, 2016, ⟨10.1007/s10208-016-9319-7⟩. ⟨hal-01178588v3⟩
  • Edward Bierstone, Pierre Lairez, Pierre D. Milman. Resolution except for minimal singularities II. The case of four variables. Advances in Mathematics, Elsevier, 2013, 231 (5), pp.3003 - 3021. ⟨10.1016/j.aim.2012.08.001⟩. ⟨hal-00987538⟩

Preprints, Working Papers, ...2 documents

  • Pierre Lairez, Emre Can Sertöz. Separation of periods of quartic surfaces. 2020. ⟨hal-03022612v2⟩
  • Peter Bürgisser, Felipe Cucker, Pierre Lairez. Rigid continuation paths II. Structured polynomial systems. 2020. ⟨hal-02974062⟩

Conference papers5 documents

  • Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din. Computing the volume of compact semi-algebraic sets. ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. ⟨hal-02110556⟩
  • Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy. Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩. ⟨hal-01788619⟩
  • Pierre Lairez, Tristan Vaccon. On p-adic differential equations with separation of variables. ISSAC 2016, Jul 2016, Waterloo, Ontario, Canada. ⟨10.1145/2930889.2930912⟩. ⟨hal-01265226v2⟩
  • Peter Bürgisser, Kathlén Kohn, Pierre Lairez, Bernd Sturmfels. Computing the Chow variety of quadratic space curves. Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), Nov 2015, Berlin, Germany. ⟨hal-01188213v2⟩
  • Alin Bostan, Pierre Lairez, Bruno Salvy. Creative telescoping for rational functions using the Griffiths-Dwork method. 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⟩. ⟨hal-00777675v2⟩

Theses1 document

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

Poster communications1 document

  • Pierre Lairez. Computing periods of rational integrals. Foundations of computational mathematics 2014, workshop “symbolic analysis”, Dec 2014, Montevideo, Uruguay. ⟨hal-01097145⟩