
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 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 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 LeviCivita symbol, the program can derive types of multi...

ATENSOR
 Referenced in 7 articles
[sw00055]
 ATENSOR  REDUCE program for tensor simplification. Nature of...

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

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

Canon
 Referenced in 5 articles
[sw00102]
 The Canon package: a fast kernel for tensor...

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

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

Golem95
 Referenced in 23 articles
[sw00371]
 Golem95: a numerical program to calculate oneloop...