Re: [Axiom-developer] thesis on symbolic summation

[kp]

I've recently discovered a thesis called

"Interactive Computer Manipulation of Formal Sums"
by Nivedita Patil
http://www.csd.uwo.ca/~watt/home/students/theses/NPatil2010-msc.pdf

and - just for fun - sketched some functions from the text. There seems
to be a lot of symbolic summation code around as I learned here. Is
there anything related to the 'title' above available in Axiom?
Kurt


Am 08.10.2014 um 22:05 schrieb Victor Adamchik:
> i originally thought that implementing (or reimplementing) would be easy
> as a walk in the park...
> 
> 
> Victor
> 
> 
> On 10/8/2014 3:31 PM, William Sit 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

syman_samples.pdf
Description: Adobe PDF document