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 <adamc...@andrew.cmu.edu> 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 >>> Axiom-developer@nongnu.org >>> 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 > Axiom-developer@nongnu.org > https://lists.nongnu.org/mailman/listinfo/axiom-developer
syman_samples.pdf
Description: Adobe PDF document
_______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
