Re: [Maxima-discuss] tabular integration

[Richard F. <fa...@be...>]

On 7/1/2018 4:56 PM, Dimiter Prodanov wrote:
> But the question here is given an integral to identify a matching 
> special function.
If the question then is ..
   Is this integral a tabulated definition of a special function, then a 
search through
the dlmf.nist.gov listing would do that.

This would require taking the dlmf formulas (perhaps in tex form), parsing
them into maxima, and then figuring out how much work you would do
in matching. Like change of variables, rearrangements of various other
sorts.  The likelihood of matching seems pretty small; an algorithmic
approach to trying to do the integral seems more plausible.  A numeric
approach  (plot the function?/) might be a winning heuristic.

RJF