bio | website | pierre.lairez.fr |
---|---|---|
location | Berlin, Germany | |
age | 27 | |
visits | member for | 3 years, 1 month |
seen | Oct 23 at 9:13 | |
stats | profile views | 296 |
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 |