Kurt Siegl

  • Citations Per Year
Learn More
The problem of computing a closed form for sums of special functions arises in many parts of mathematics and computer science, especially in combinatorics and complexity analysis. Here we discuss two algorithms for indeenite summation of rational functions, due to Abramov and Paule. We describe some improvements and a parallel implementation on a(More)
This paper presents a new system for parallel symbolic computation called kMAPLEk (speak: parallel Maple), in which logic programming provides paralle-lism and imperative programming provides eeciency. The system is built as a combination between the parallel declarative programming language Strand and the sequential computer algebra system Maple. We(More)
  • 1