• REDUCE

  • Referenced in 743 articles [sw00789]
  • user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer and real arithmetic ... generating optimized numerical programs from symbolic input; calculations with a wide variety of special functions...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • also be used as a symbolic calculator and has an embedded equational programming system. Otter...
  • CHEVIE

  • Referenced in 231 articles [sw04235]
  • computer algebra project for symbolic calculations with generic character tables of groups of Lie type...
  • TI-Nspire

  • Referenced in 62 articles [sw06151]
  • identical with some limitations in symbolic calculation...
  • Fermat

  • Referenced in 41 articles [sw00277]
  • long integers and fractions, multivariate polynomials, symbolic calculations, matrices over polynomial rings, graphics, and other...
  • Neweul

  • Referenced in 22 articles [sw04246]
  • using the Symbolic Math Toolbox for symbolic calculations. This offers the advantages of both...
  • SuperLie

  • Referenced in 24 articles [sw14268]
  • particular, SuperLie allows one to perform calculations and symbolic transformations in order to determine generators ... compute Lie (super)algebra homology and cohomology; calculate the Shapovalov determinant...
  • DAEPACK

  • Referenced in 17 articles [sw12958]
  • libraries: symbolic analysis and transformation andnumerical calculation. The symbolic analysis and transformation library consists ... performed efficiently and robustly and parametric sensitivity calculations can be performed correctly discontinuity locking...
  • SYMMGRP

  • Referenced in 120 articles [sw01066]
  • SYMMGRP.MAX and other symbolic programs for Lie symmetry analysis of partial differential equations symmgrp.max ... Macsyma program for the calculation of Lie point symmetries of large systems of differential equations...
  • BIGEBRA

  • Referenced in 19 articles [sw00078]
  • easily enter these fields through direct calculations using symbolic manipulation and computer algebra system...
  • CLICAL

  • Referenced in 17 articles [sw20733]
  • projects, most notably an online geometric calculator, two symbolic computer algebra packages for MapleV5...
  • MatchingTools

  • Referenced in 9 articles [sw27512]
  • MatchingTools: a Python library for symbolic effective field theory calculations. MatchingTools ... Python library for doing symbolic calculations in effective field theory. It provides the tools...
  • Cliffosor

  • Referenced in 6 articles [sw21063]
  • computer graphics applications.Traditionally, compute-intensive matrix calculations are involvedto model and render 3D scenery. Geometric ... being a powerfulanalytical tool for symbolic calculations. In this paper, thearchitecture of CliffoSor (Clifford Processor...
  • NP

  • Referenced in 51 articles [sw00631]
  • symbolic algebra package is presented for performing computations in the Newman-Penrose formation. We illustrate ... using it to carry out a complex calculation that arises in the integration...
  • DERIVE

  • Referenced in 65 articles [sw02964]
  • powerful system for doing symbolic and numeric mathematics on your PC. It processes algebraic variables ... matrices and Boolean expressions like a scientific calculator processes numbers. It’s useful from...
  • BayesCalc

  • Referenced in 3 articles [sw00068]
  • implemented extensions allow the automatic, symbolic calculation of many operations needed in the daily application ... feature of the package is the symbolic calculation of posterior probabilities. Some examples are given...
  • Nestedsums

  • Referenced in 26 articles [sw15013]
  • library. Symbolic Expansion of Transcendental Functions. Higher transcendental function occur frequently in the calculation...
  • SNEG

  • Referenced in 3 articles [sw12815]
  • SNEG – Mathematica package for symbolic calculations with second-quantization-operator expressions. In many-particle problems ... representation using nested lists (used for automatic symbolic manipulations), and various higher-level (”macro”) expressions ... demonstration purposes, but also for direct calculations of problems of moderate size...
  • GRACE

  • Referenced in 3 articles [sw11987]
  • generic automated package for the calculation of Feynman diagrams. These blocks include the generation ... model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac...