482 reputation
317
bio website pierre.lairez.fr
location Berlin, Germany
age 26
visits member for 2 years, 11 months
seen 2 days ago

Post doc, TU Berlin, Germany


Jul
2
awarded  Curious
Mar
17
comment What is a sieve and why are sieves useful?
See also the blog post by Terry Tao : terrytao.wordpress.com/2007/06/05/…
Jan
28
comment Wanted: a “Coq for the working mathematician”
That is not a book but still a good and recent introduction to Coq and SSReflect : www-sop.inria.fr/manifestations/MapSpringSchool It is the website of a spring school on Coq, it contains slides, exercises and solutions.
Jan
27
comment Analytic continuation of a multiple contour integral
Damn! You got this one ;) Too bad the answer is not positive. However, if you allow linear combination of cycle, then you can choose $\gamma_1$ to be $\frac 12$ times the unit circle. But I'm not sure this is a real objection. (And you right for the punctured disc, that was pointless ;)
Jan
27
awarded  Benefactor
Jan
27
accepted Analytic continuation of a multiple contour integral
Jan
20
awarded  Promoter
Jan
20
revised Analytic continuation of a multiple contour integral
Improved formulation
Jan
19
comment Analytic continuation of a multiple contour integral
Thanks, I'll see if I can get that book.
Jan
18
revised Analytic continuation of a multiple contour integral
Title
Jan
18
asked Analytic continuation of a multiple contour integral
Nov
12
awarded  Yearling
Oct
30
awarded  Nice Question
Jun
25
awarded  Revival
Jun
25
awarded  Citizen Patrol
Feb
28
comment When polynomial f(x^2) can be factored as g(x)·g(-x) ?
Why don't you want to factor $f(x^2)$? Factorization algorithms are good and quite efficient. Not enough for you ?
Feb
20
accepted Remove denominators in de Rham cohomology
Feb
19
awarded  Necromancer
Feb
19
awarded  Self-Learner
Feb
19
answered Remove denominators in de Rham cohomology