bio | website | pierre.lairez.fr |
---|---|---|
location | Berlin, Germany | |
age | 27 | |
visits | member for | 3 years, 9 months |
seen | Aug 2 at 11:49 | |
stats | profile views | 315 |
Post doc, TU Berlin, Germany
Jan
29 |
answered | de Rham cohomology of smooth affine varieties |
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 |