Re: [Axiom-developer] thesis on symbolic summation

[Bill Page]

http://www.risc.jku.at/research/combinat/software/Sigma/index.php

On 8 October 2014 15:31, William Sit <address@hidden> wrote:
> Didn't Schneider implemented the algorithm in Mathematica around 2000?
> http://www.emis.de/journals/SLC/wpapers/s43schneider.pdf
>
> William
>
>
> On Wed, 08 Oct 2014 11:02:21 -0400
>  Victor Adamchik <address@hidden> wrote:
>>
>>
>> Tim,
>>
>> We have tried to implement Karr-Schneider algorithm in Mathematica,
>> however we met two problems that we are not sure how to deal with. If you
>> are interested, Javier can provide more details on this.
>>
>> Victor
>>
>>
>>
>> --
>> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>> Victor S. Adamchik                   Computer Science Department, CMU
>> Office: GHC 7719                5000 Forbes Ave, Pittsburgh, PA 15213
>> Phone: (412) 268-8121                http://www.cs.cmu.edu/~adamchik
>>
>>
>> _______________________________________________
>> Axiom-developer mailing list
>> address@hidden
>> https://lists.nongnu.org/mailman/listinfo/axiom-developer
>
>
> William Sit, Professor Emeritus
> Mathematics, City College of New York
> Office: R6/291D Tel: 212-650-5179
> Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/
>
>
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> https://lists.nongnu.org/mailman/listinfo/axiom-developer