Hi everybody,
is there some way to add to the list of known integrals?
(Whether it's by some Lisp programming or otherwise.)
e.g. we could add integrate(cos(x*sin(t)), t, 0, %pi) =>
%pi * bessel_j(0, x) and then integrate could recognize
at least that and maybe do some related integrals.
I guess there are at least two kinds known integrals,
which would have to be handled in different ways -- namely
definite and indefinite.
Thanks for any information,
Robert Dodier