RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @article{RISC2916,
    author = {Manuel Kauers},
    title = {{SumCracker -- A Package for Manipulating Symbolic Sums and Related Objects}},
    language = {english},
    abstract = {We describe a new software package, named SumCracker, for proving and finding identities involving symbolic sums and related objects. SumCracker is applicable to a wide range of expressions for many of which there has not been any software available up to now. The purpose of this paper is to illustrate how to solve problems using that package. },
    journal = {Journal of Symbolic Computation},
    volume = {41},
    number = {9},
    pages = {1039--1057},
    isbn_issn = {ISSN 0747-7171},
    year = {2006},
    refereed = {yes},
    length = {23}
    }