Pierre Lairez
Wissenschaftlicher Mitarbeiter
Institut für Mathematik
TU Berlin
Fak. II, Sekr. 3-2
Straße des 17. Juni 136
10623 Berlin
Deutschland
Recent and forthcoming activities
-
10 jul 2017conference
Invited speaker at FoCM 2017 in Barcelona.
-
12 jun 2017conference
Invited speaker at MEGA 2017 in Nice.
-
21 jul 2016award
Distinguished paper award at ISSAC 2016 for “On p-adic differential equations with separation of variables”, with T. Vaccon.
-
25 mar 2016seminar
Une solution déterministe au 17e problème de Smale, séminaire de l'IRMAR, Université de Rennes.
-
25 feb 2016seminar
Une solution déterministe au 17e problème de Smale, séminaire de l'équipe CASYS, Laboratoire J. Kuntzmann.
-
2 feb 2016new preprint
“On p-adic differential equations with separation of variables”, with T. Vaccon.
-
25 jan 2016seminar
Automatisation du calcul avec les sommes binomiales, seminar “Computations and Proofs” at Specfun, Inria Saclay.
-
16 dec 2015conference
A deterministic solution to Smale's 17th problem, Algorithms and complexity in algebraic geometry reunion, Simons Institute, Berkeley.
Latest work
Precision concerns in p-adic algorithms
2016
w/ T. Vaccon
P-adic numbers often appears in computer algebra when one want to solve a problem over a finite field $\mathbb F_p$ using an algorithm that performs divisions by $p$: we consider the data over the finite field as the approximation of some exact $p$-adic numbers, proceed to the computation over the field of $p$-adic numbers and then we obtain the result back in $\mathbb F_p$ by reducing modulo $p$. Naturally, we cannot compute with $p$-adic numbers with infinite precision, for the same reason as for real numbers. So we have to deal with approximations, and this raises questions about the numerical stability of algorithms when they are run with $p$-adic numbers.
In “On p-adic differential equations with separation of variables”, we study the problem of computing a power series solution to an ordinary differential equation. We show that the usual Newton method achieve the optimal loss of precision, this allows for a significant speedup.
