
MACSYMA
 Referenced in 689 articles
[sw01209]
 large Macsyma program. Macsyma offers: symbolic and numeric manipulation and solution capabilities in algebra, calculus...

REDLOG
 Referenced in 147 articles
[sw04250]
 system that provides algorithms for the symbolic manipulation of firstorder formulas over some temporarily...

Maxima
 Referenced in 127 articles
[sw00560]
 Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration...

GiNaC
 Referenced in 63 articles
[sw01609]
 creation of integrated systems that embed symbolic manipulations together with more established areas of computer...

Symbolic Math Toolbox
 Referenced in 34 articles
[sw08398]
 provides functions for solving, plotting, and manipulating symbolic math equations. You can create ... share symbolic math code using the MATLAB® Live Editor. The toolbox provides libraries of functions ... differential equations, equation simplification, and equation manipulation. Symbolic Math Toolbox lets you analytically perform differentiation...

SyFi
 Referenced in 67 articles
[sw05701]
 degrees of freedom as symbolic expressions that are easily manipulated. This makes it easy...

Neweul
 Referenced in 22 articles
[sw04246]
 both, an oftheshelf symbolic manipulator, being Maple or MuPad, and the vast numerical...

FORMAC
 Referenced in 43 articles
[sw01193]
 Sammet. FORMAC supported computation, manipulation, and use of symbolic expressions. (wikipedia...

FOXBOX
 Referenced in 15 articles
[sw00307]
 FOXBOX: A system for manipulating symbolic objects in black box representation. The FOXBOX system puts...

BIGEBRA
 Referenced in 14 articles
[sw00078]
 these fields through direct calculations using symbolic manipulation and computer algebra system (CAS). We discuss...

FAdo
 Referenced in 12 articles
[sw10335]
 provide a set of tools for symbolic manipulation of formal languages. To allow highlevel...

Odyssee
 Referenced in 32 articles
[sw12533]
 automatic differentiation. The Odyssée system manipulates fortran programs as symbolic objects. It is an open...

PSPC
 Referenced in 10 articles
[sw06464]
 Algebraic and symbolic manipulation of Poisson series Efficiency in handling Poisson series is essential ... this paper we analyse the mathematical, symbolic and computational structure of Poisson series...

SODAS
 Referenced in 48 articles
[sw00885]
 symbolic data, symbolic kernel discriminant analysis, symbolic description of groups, factorial discriminant analysis, principal component ... manipulated as an icon and icons are linked in a chaining. A symbolic data analysis...

GUItar
 Referenced in 9 articles
[sw10336]
 provide a set of tools for symbolic manipulation of formal languages. To allow highlevel...

Esterel
 Referenced in 154 articles
[sw20012]
 program that handles the interface and data manipulations. It can also generate hardware ... optimization is available. We provide a graphical symbolic debugger for Esterel. We also provide support...

Mgfun
 Referenced in 8 articles
[sw06227]
 Maple, and is intended for the symbolic manipulation of a large class of special functions...

AUTOSIM
 Referenced in 7 articles
[sw01171]
 simulation code. With more powerful symbolic manipulation capabilities, all techniques normally employed by human analysts...

PackageX
 Referenced in 7 articles
[sw18225]
 readily evaluated numerically and manipulated symbolically with builtin Mathematica functions. Emphasis is on evaluation...

na25
 Referenced in 6 articles
[sw11492]
 This approach avoids symbolic manipulations and is completely numerical. It relies on the EhrlichAberth...