by Axel Vogt <&noreply@[EMAIL PROTECTED]
>
Mar 28, 2008 at 11:48 AM
Vladimir Bondarenko wrote:
....
>
> So, is there a Venturesome Integrator the Warrior
> who can scheme out a batch of a CAS commands to
> get the nice exact value of
>
> int((1 - tanh(z))*Si(z), z= 0..infinity);
>
> ?
Pi*(ln(2)/2 + Int(1/((x-1)*(x+1)*ln(x)), x=0 .. 1/sqrt(exp(Pi)))) -1
is the best I get which ~ 0.377001791484247675065660199606069584419,
but have no solution for the remaining integral.