FAQ

Computer algebra system

Known as: Symbolic solver, Computer algebra systems, Computer algebra package 
A computer algebra system (CAS) is a software program that allows computation over mathematical expressions in a way similar to the traditional… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1966-2017
05010019662017

Related topics

Related topics

50 relations
(CAMbridge ALgebra system)Arbitrary-precision arithmeticArtificial intelligenceBerlekamp's algorithm
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Computer algebra system
MATLAB
Artificial intelligence
Resultant
Irreducible polynomial
Symbolic computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
SINGULAR: a computer algebra system for polynomial computations
SINGULAR is a specialized computer algebra system for polynomial computations with emphasize on the needs of commutative algebra… (More)
Is this relevant?
2008
2008
Specialized computer algebra system GINV
Computer algebra system GINV (Gröbner INVolutive) is presented. It is designed for studying and solving systems of algebraic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Evaluation of a Java Computer Algebra System
This paper evaluates the suitability of Java as an implementation language for the foundations of a computer algebra library. The… (More)
Is this relevant?
2007
2007
Implementing a computer algebra system in Haskell
There are basically two kinds of mathematical computation, numerical and symbolic. Numerical algorithms are usually implemented… (More)
  • table 1
  • table 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations
Cellerator describes single and multi-cellular signal transduction networks (STN) with a compact, optionally palette-driven… (More)
  • table 1
Is this relevant?
2003
2003
Plural: a computer algebra system for noncommutative polynomial algebras
Singular is a computer algebra system developed for efficient computations with polynomials. We describe Plural as an extension… (More)
  • figure 2
  • figure 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
REDLOG: computer algebra meets computer logic
REDLOG is a package that extends the computer algebra system REDUCE to a computer logic system, i.e., a system that provides… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Computer algebra - systems and algorithms for algebraic computation (2. ed.)
Well, someone can decide by themselves what they want to do and need to do but sometimes, that kind of person will need some… (More)
Is this relevant?
1992
1992
Risa/Asir - a Computer Algebra System
A computer algebra system risa/asir consists of a command asir for interactive use and several subroutine libraries which can be… (More)
Is this relevant?
1992
1992
A Computer Algebra System for Nonassociative Identities 1
In recent years there has been an emergence of general purpose computer algebra systems such as Maple, Macsyma, Mathematica, and… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?