kovacic algorithm



On 4/6/2012 2:19 AM, nijso beishuizen wrote:
> Thanks for the reply. I have Saunders' paper as well, describing the 
> algorithm. I am also checking some newer results from Hoeij and Weil, 
> which result in more compact answers. Might be interesting to 
> implement, the only problem is time...

There is an implementation,  in Maple, by Carolyn Smith, in her MS 
thesis at Waterloo, 1984.

http://www.cs.uwaterloo.ca/research/tr/1984/CS-84-35.pdf

>
>
> ------------------------------------------------------------------------
> Date: Thu, 5 Apr 2012 08:50:55 +1000
> From: dbmaxima at gmail.com
> To: nijso at hotmail.com
> CC: maxima at math.utexas.edu
> Subject: Re: [Maxima] kovacic algorithm
>
> On 5/04/2012 5:49 AM, nijso beishuizen wrote:
>
>     Dear all,
>
>     Again, a question about something that was once written in/with
>     macsyma and now (probably) lost...
>
>     Does somebody know of a surviving macsyma/maxima implementation of
>     the kovacic algorithm (solving second order ode's using
>     differential Galois theory)? In some papers from the beginning of
>     the 80's the authors state that they 'have implemented the
>     algorithm in macsyma', most notably Prelle&Singer (1983). At least
>     4 different groups have written a version in macsyma and one
>     version of this algorithm was probably part of Macsyma at one
>     point (mentioned in the Handbook of differential equations in 1989).
>
>
> I asked about this up a few years ago without success.  At the time I 
> contacted David Saunders about his 1981 code, but he no longer had a 
> copy./
> /
>
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima