Re: [Maxima-discuss] tabular integration

[Dimiter P. <dim...@gm...>]

these are all definite integral represenations. These are useful for proofs.

Dimiter

On Fri, Jul 6, 2018, 16:38 David Billinghurst <dbm...@gm...> wrote:

> On 2018-07-06 03:57, Dimiter Prodanov wrote:
>
> > Is it possible to add definite integrals?
> I think so.  I made good progress this evening.
>
> > For example the related to the Bessel functions?
> >
> > https://dlmf.nist.gov/10.32
>
> DLMF 10.32 are all indefinite integrals.  For example 10.32.1 is
> integrate(bessel_i(0,z),z)
>
> Maxima already defines this as
> integrate(bessel_i(0,z),z)
>   =
>
> (1/2)*z*(bessel_i(0,z)*(%pi*struve_l(1,z)+2)-%pi*bessel_i(1,z)*struve_l(0,z))
> using http://functions.wolfram.com/Bessel-TypeFunctions/BesselI/21/01/01/
>
> To change this you would need to modify the 'integral property on
> %bessel_i defined in bessel.lisp or redefine the function
> bessel-i-integral-2
>
>
>