• NCSOStools

  • Referenced in 19 articles [sw06920]
  • NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials. NCSOStools...
  • SCHOONSCHIP

  • Referenced in 7 articles [sw40041]
  • 6000/7000 program for symbolic evaluation of algebraic expressions. SCHOONSCHIP is a high-speed program which ... products of numbers, algebraic symbols, vectors, functions, etc., or further expressions enclosed in brackets. Moreover ... perform most of the commonly required algebraic manipulations. Many special operations which are used...
  • Symbolic Math Toolbox

  • Referenced in 37 articles [sw08398]
  • equations. You can create, run, and share symbolic math code using the MATLAB® Live Editor ... linear algebra, algebraic and ordinary differential equations, equation simplification, and equation manipulation. Symbolic Math Toolbox...
  • SYMMGRP

  • Referenced in 121 articles [sw01066]
  • SYMMGRP.MAX and other symbolic programs for Lie symmetry analysis of partial differential equations symmgrp.max ... works only under Macsyma, the commercial computer algebra system. The 1991 version of symmgrp.max (with...
  • Lugares

  • Referenced in 19 articles [sw09861]
  • environment and uses the symbolic capabilities of CoCoA, a computer algebra system specialized in Groebner ... between the dynamic geometry paradigm and a symbolic approach to automatic discovery in geometry. Through ... Lugares determines as a locus almost any algebraic curve specified by geometric conditions...
  • PSPC

  • Referenced in 10 articles [sw06464]
  • Algebraic and symbolic manipulation of Poisson series Efficiency in handling Poisson series is essential...
  • FORMAC

  • Referenced in 45 articles [sw01193]
  • FORmula MAnipulation Compiler, was an early computer algebra system based on FORTRAN. It was developed ... FORMAC supported computation, manipulation, and use of symbolic expressions. (wikipedia...
  • ApaTools

  • Referenced in 17 articles [sw01344]
  • software toolbox ApaTools for approximate polynomial algebra. This package includes Maple and Matlab functions implementing ... developing other numerical and symbolic methods in computational algebra...
  • Redten

  • Referenced in 6 articles [sw06018]
  • REDTEN is a symbolic algebra package for REDUCE which provides tensor and tensor-like objects...
  • CAMAC

  • Referenced in 7 articles [sw32211]
  • CAMAC 1979: symbolic and algebraic computation...
  • OPTMODEL

  • Referenced in 5 articles [sw06280]
  • since the modeling language mimics the symbolic algebra of the formulation as closely as possible...
  • FINSLER

  • Referenced in 13 articles [sw00290]
  • FINSLER: a computer algebra package for Finsler geometries: Symbolic Finsler geometry. The paper presents...
  • TI-Nspire

  • Referenced in 62 articles [sw06151]
  • regulations. The CAS variant integrates a computer algebra system, function plotter, dynamic geometry, spreadsheet, dynamic ... variant is identical with some limitations in symbolic calculation...
  • mCRL

  • Referenced in 31 articles [sw29626]
  • symbol µ is not available) μCRL: A toolset for analysing algebraic specifications. μCRL...
  • XSummer

  • Referenced in 30 articles [sw06109]
  • XSummer - transcendental functions and symbolic summation in form. Harmonic sums and their generalizations are extremely ... several algorithms to solve these sums by algebraic means, using the computer algebra system Form...
  • Fermat

  • Referenced in 42 articles [sw00277]
  • Fermat is a computer algebra system (CAS) for Macintosh, Windows, Linux, and Unix ... arbitrarily long integers and fractions, multivariate polynomials, symbolic calculations, matrices over polynomial rings, graphics ... about is oriented toward polynomial and matrix algebra over the rationals Q and finite fields...
  • PARAM

  • Referenced in 14 articles [sw09669]
  • process the result function symbolically using for instance computer algebra packages, to derive optimum parameters...
  • Aligator

  • Referenced in 10 articles [sw00029]
  • package combines algorithms from symbolic summation and polynomial algebra with computational logic, and is applicable...
  • GiNaC

  • Referenced in 80 articles [sw01609]
  • creation of integrated systems that embed symbolic manipulations together with more established areas of computer ... where CAS stands for Computer Algebra System. It has been specifically developed to become...
  • NPTOOLS

  • Referenced in 3 articles [sw00634]
  • Maple package NPTOOLS: a symbolic algebra package for tetrad formalisms in general relativity...