An integral for the Prime

[Alberto Candel]

(06-27-2014 05:31 AM)parisse Wrote:  This is not an issue! It's just that giac and maxima don't do table lookup, instead they solve class of integrals. If you have a parametric closed formula that applies to this integral say for a specific value of some parameters, or a way to solve it using a method like the residue theorem, then I might be interested to add that in giac.

Yes, I know it is not a giac issue. On the other hand, the Prime CAS returns the exact value of the following integral:
$$ \int_0^\infty \dfrac{\log x}{(1+x^2)^2} \, dx= -\dfrac{\pi}{4}.$$