Hot answers tagged

4

The following is an adaptation of my answer to this question, which focused on the 3D linear least-squares problem. (* Rules to get constants out of sums (or integrals etc) *) outrules = { Sum[f_ + g_, it : {x_Symbol, __}] :> Sum[f, it] + Sum[g, it], Sum[c_ f_, it : {x_Symbol, __}] :> c Sum[f, it] /; FreeQ[c, x], Sum[c_, it : {x_Symbol, __}] :...


2

My solution is in the experimental mathematics style: Series[int - intpaper, {τ, \[Infinity], 12}] // Normal // FullSimplify (* 0 *) You have to believe that if two series expansions are equal up to 12th order this is an identity. Advantage of the approach is its unbeatable simplicity. Of course, sceptics with faster computers can verify even higher ...



Only top voted, non community-wiki answers of a minimum length are eligible