
R
 Referenced in 9832 articles
[sw00771]
 language and environment for statistical computing and graphics. It is a GNU project which ... quality plots can be produced, including mathematical symbols and formulae where needed. Great care...

MACSYMA
 Referenced in 720 articles
[sw01209]
 general purpose symbolicnumericalgraphical mathematics software product. Computer algebra system ... very complicated computations by means of a large Macsyma program. Macsyma offers: symbolic and numeric...

UMFPACK
 Referenced in 415 articles
[sw00989]
 factorization. The preordering and symbolic analysis phase computes an upper bound on fill...

Theorema
 Referenced in 149 articles
[sw00961]
 developed at the Research Institute for Symbolic Computation (RISC), Austria...

CASA
 Referenced in 105 articles
[sw00108]
 Group at the Research Institute for Symbolic Computation (RISCLinz), the University of Linz, Austria...

CHEVIE
 Referenced in 237 articles
[sw04235]
 CHEVIE is a computer algebra project for symbolic calculations with generic character tables of groups ... related structures. It is based on the computer algebra systems GAP, and MAPLE. Computer algebra...

RegularChains
 Referenced in 81 articles
[sw00796]
 RegularChains library provides facilities for symbolic computations with systems of polynomial equations. In particular...

PDESpecialSolutions
 Referenced in 63 articles
[sw12342]
 Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. Algorithms ... package PDESpecialSolutions.m can be used to automatically compute new special solutions of nonlinear PDEs ... given of related algorithms and symbolic software to compute exact solutions of nonlinear differential equations...

DISCOVERER
 Referenced in 56 articles
[sw07719]
 partly implemented them as a real symbolic computation tool in Maple named DISCOVERER. In this...

REDUCE
 Referenced in 746 articles
[sw00789]
 interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced ... user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer and real arithmetic...

Kan
 Referenced in 46 articles
[sw04929]
 operators, ...) Kan, a computer package for symbolic computations in Weyl algebras...

SymbolicC++
 Referenced in 31 articles
[sw01428]
 class which is used for all symbolic computation. The Symbolic class provides almost ... features required for symbolic computation including symbolic terms, substitution, noncommutative multiplication and vectors...

Multilisp
 Referenced in 33 articles
[sw09420]
 Multilisp: A language for concurrent symbolic computation. Multilisp is a version of the Lisp dialect ... Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates...

Analytica
 Referenced in 32 articles
[sw10478]
 project is to use a powerful symbolic computation system to prove theorems that are beyond ... steps that are made by the symbolic computation system and therefore prevent common errors like...

OMRS
 Referenced in 39 articles
[sw03359]
 long as the ontology of the computational behavior and internal state of the mathematical services ... services in distributed theorem proving and symbolic computation environments...

LANGAGE
 Referenced in 39 articles
[sw00501]
 This package is written using the symbolic computation system Maple. It works with...

DDESpecialSolutions
 Referenced in 35 articles
[sw12343]
 Symbolic computation of hyperbolic tangent solutions for nonlinear differentialdifference equations. A new algorithm...

ALTRAN
 Referenced in 34 articles
[sw01203]
 Altran is a complete system for symbolic computation with rational functions in several variables with...

CliffMath
 Referenced in 23 articles
[sw04955]
 calculus on graphs. Theory and applications in computer science. This pioneering book presents a study ... unified manner, with significant emphasis on symbolic computations and an eye toward applications in computer ... book, together with packages for performing symbolic computations...

MuPAD
 Referenced in 139 articles
[sw00606]
 Symbolic Math Toolbox, whose notebook interface provides access to the complete MuPAD language. Computer algebra...