• MACSYMA

  • Referenced in 720 articles [sw01209]
  • general purpose symbolic-numerical-graphical mathematics software product. Computer algebra system ... program. Macsyma offers: symbolic and numeric manipulation and solution capabilities in algebra, calculus and numerical...
  • 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 ... solution of a variety of algebraic equations; facilities for the output of expressions ... facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety...
  • CHEVIE

  • Referenced in 237 articles [sw04235]
  • CHEVIE is a computer algebra project for symbolic calculations with generic character tables of groups ... type, Coxeter groups, Iwahori-Hecke algebras and other related structures. It is based...
  • NP

  • Referenced in 53 articles [sw00631]
  • symbolic algebra package is presented for performing computations in the Newman-Penrose formation. We illustrate...
  • MuPAD

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

  • Referenced in 105 articles [sw00108]
  • Computer Algebra Group at the Research Institute for Symbolic Computation (RISC-Linz), the University ... kernel of the widely used computer algebra system Maple. Computer algebra system...
  • AceGen

  • Referenced in 42 articles [sw10821]
  • problem of expression swell by combining: symbolic and algebraic capabilities of Mathematica, automatic differentiation technique ... AceFEM, Matlab©, FEAP©, ABAQUS©, ... ) from the same symbolic description. AceGen alone does NOT include examples...
  • SymPy

  • Referenced in 161 articles [sw00940]
  • library for symbolic mathematics. It aims to become a full-featured computer algebra system...
  • REDLOG

  • Referenced in 166 articles [sw04250]
  • package that extends the computer algebra system REDUCE to a computer logic system ... system that provides algorithms for the symbolic manipulation of first-order formulas over some temporarily ... methods applied know about the underlying algebraic theory and make use of it. We illustrate...
  • Maxima

  • Referenced in 170 articles [sw00560]
  • system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace ... data in two and three dimensions. Computer algebra system...
  • STAR/MPI

  • Referenced in 11 articles [sw02182]
  • Binding a parallel library to interacitve symbolic algebra systems. Many users of symbolic algebra systems ... LISP is the basis for several symbolic algebra systems with strengths in nondiscrete mathematics...
  • Kan

  • Referenced in 46 articles [sw04929]
  • computer package for symbolic computations in Weyl algebras...
  • DifferentialGeometry

  • Referenced in 29 articles [sw07593]
  • DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus on manifolds ... differential geometry, tensor calculus, spinor calculus, Lie algebras, Lie groups, transformation groups, jet spaces ... with dramatic recent improvements in symbolic approaches to solving algebraic and differential equations, have allowed...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Otter can also be used as a symbolic calculator and has an embedded equational programming ... application of Otter is research in abstract algebra and formal logic. Otter and its predecessors...
  • DERIVE

  • Referenced in 65 articles [sw02964]
  • doing symbolic and numeric mathematics on your PC. It processes algebraic variables, expressions, equations, functions...
  • NumericalAlgebraicGeometry

  • Referenced in 23 articles [sw12155]
  • algebraic geometry uses numerical data to describe algebraic varieties. It is based on numerical polynomial ... alternative to the classical symbolic approaches of computational algebraic geometry. We present a package, whose...
  • ORTHOFRAME

  • Referenced in 12 articles [sw00657]
  • symbolic algebra package is presented for performing calculations in the orthonormal tetrad formalism of Ellis...
  • CLICAL

  • Referenced in 17 articles [sw20733]
  • counterexamples to conjectures and theorems about Clifford algebras. I have used CLICAL to solve problems ... notably an online geometric calculator, two symbolic computer algebra packages for MapleV5, one for Mathematica...
  • RegularChains

  • Referenced in 81 articles [sw00796]
  • RegularChains library provides facilities for symbolic computations with systems of polynomial equations. In particular ... allows to compute modulo a set of algebraic relations. Automatic case discussion (and recombination) handles...
  • BIGEBRA

  • Referenced in 21 articles [sw00078]
  • algebra, are all covered by the Hopf algebraic framework. The new branch of experimental mathematics ... fields through direct calculations using symbolic manipulation and computer algebra system (CAS). We discuss problems...