• 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 first-order 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 of-the-shelf 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 high-level...
  • 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 high-level...
  • 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...
  • Package-X

  • Referenced in 7 articles [sw18225]
  • readily evaluated numerically and manipulated symbolically with built-in 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 Ehrlich-Aberth...