Lierre
Reputation
587
Next privilege 1,000 Rep.
 Mar 10 answered An inequality with spherical triangles Mar 9 comment An inequality with spherical triangles @user35593 In the case where $BC \leq \pi/2$, indeed... Mar 9 asked An inequality with spherical triangles Mar 9 awarded Informed Oct 11 revised Double sum involving binomial coefficients deleted 12 characters in body Oct 10 awarded Revival Oct 10 revised Double sum involving binomial coefficients added 325 characters in body Oct 10 answered Double sum involving binomial coefficients 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