• MACSYMA

  • Referenced in 667 articles [sw01209]
  • general purpose symbolic-numerical-graphical mathematics software product. Computer algebra system ... very complicated computations by means of a large Macsyma program. Macsyma offers: symbolic and numeric...
  • R

  • Referenced in 3009 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...
  • Theorema

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

  • Referenced in 179 articles [sw00989]
  • factorization. The pre-ordering and symbolic analysis phase computes an upper bound on fill...
  • CHEVIE

  • Referenced in 146 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...
  • PDESpecialSolutions

  • Referenced in 48 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...
  • CASA

  • Referenced in 52 articles [sw00108]
  • Group at the Research Institute for Symbolic Computation (RISC-Linz), the University of Linz, Austria...
  • REDUCE

  • Referenced in 635 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...
  • SymbolicC++

  • Referenced in 29 articles [sw01428]
  • class which is used for all symbolic computation. The Symbolic class provides almost ... features required for symbolic computation including symbolic terms, substitution, non-commutative multiplication and vectors...
  • RegularChains

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

  • Referenced in 37 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...
  • Analytica

  • Referenced in 25 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...
  • Multilisp

  • Referenced in 20 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...
  • DDESpecialSolutions

  • Referenced in 28 articles [sw12343]
  • Symbolic computation of hyperbolic tangent solutions for nonlinear differential-difference equations. A new algorithm...
  • MuPAD

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

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

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

  • Referenced in 23 articles [sw10772]
  • computational approach for the analytical solving of partial differential equations. A strategy for the analytical ... commands, using the Maple V R.3 symbolic computing system, are presented. This implementation includes...
  • DISCOVERER

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

  • Referenced in 20 articles [sw08653]
  • describes an inter-procedural technique for computing symbolic bounds on the number of statements ... quantitative functions of input data-structures. Such computational complexity bounds for even simple programs ... tree, etc. We show how to compute bounds in terms of these quantitative functions using ... usually sufficient to allow generation of symbolic complexity bounds of a variety of loops that...