• XSummer

  • Referenced in 22 articles [sw06109]
  • XSummer -- transcendental functions and symbolic summation in form Harmonic sums and their generalizations are extremely...
  • EvaluateMultiSums

  • Referenced in 11 articles [sw11639]
  • present difference field algorithms for symbolic summation. Special emphasize is put on new aspects...
  • Aligator

  • Referenced in 8 articles [sw00029]
  • invariants. The package combines algorithms from symbolic summation and polynomial algebra with computational logic...
  • ABC

  • Referenced in 7 articles [sw09721]
  • combines static analysis of programs with symbolic summation techniques to derive loop invariant relations between ... large number of examples. The derived symbolic bounds express non-trivial polynomial relations over loop...
  • Valigator

  • Referenced in 3 articles [sw00994]
  • bound assertions by means of symbolic summation, Gr”obner basis computation, and quantifier elimination...
  • LanHEP

  • Referenced in 19 articles [sw00502]
  • written with summation over indices of broken symmetries and using special symbols for complicated expressions...
  • Algolib

  • Referenced in 2 articles [sw04111]
  • operators, Groebner basis calculations, and the symbolic summation and integration of special functions and combinatorial...
  • ccgrg

  • Referenced in 1 article [sw16161]
  • ccgrg -- The symbolic tensor analysis package, with tools for general relativity. Riemann and Weyl curvature ... with the only difference that the summation symbol appears explicitly. Tensors are functions, not matrixes...
  • Ricci

  • Referenced in 13 articles [sw16359]
  • Ricci is a Mathematica package for doing symbolic tensor computations that arise in differential geometry ... without indices; Implicit use of the Einstein summation convention; Correct manipulation of dummy indices; Display...
  • fastZeil

  • Referenced in 5 articles [sw14275]
  • summation, Zeilberger’s algorithm for proving binomial coefficient identities constitutes a recent breakthrough in symbolic...
  • Mgfun

  • Referenced in 7 articles [sw06227]
  • system Maple, and is intended for the symbolic manipulation of a large class of special ... properties, including algorithmic closures under integration and summation. (package Gfun, which performs the same calculations...
  • SCOOP

  • Referenced in 3 articles [sw10581]
  • SCOOP: A tool for symbolic optimisations of probabilistic processes. ... We implemented a tool that ... confluence reduction, dead variable reduction, constant elimination, summation elimination and expression simplification for both prCRL...
  • VEST

  • Referenced in 1 article [sw16763]
  • present a new package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations ... addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi...
  • ATLAS

  • Referenced in 190 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • AXIOM

  • Referenced in 161 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • gfun

  • Referenced in 115 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 218 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Golem95

  • Referenced in 23 articles [sw00371]
  • Golem95: a numerical program to calculate one-loop...
  • HURRY

  • Referenced in 25 articles [sw00420]
  • HURRY: An acceleration algorithm for scalar sequences and...
  • HYPERG

  • Referenced in 4 articles [sw00423]
  • HYPERG: a Maple package for manipulating hypergeometric series...