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

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

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

ABC
 Referenced in 6 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 nontrivial 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 17 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 11 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 LeviCivita symbol, the program can derive types of multi...

ATLAS
 Referenced in 188 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

AXIOM
 Referenced in 160 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

gfun
 Referenced in 110 articles
[sw00344]
 The gfun package provides tools for determining and...

gmp
 Referenced in 193 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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...

LAPACK
 Referenced in 1330 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...