Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

50 relations
Application programming interfaceDimension of an algebraic varietyErableEuclidean algorithm
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
xPert: computer algebra for metric perturbation theory
We present the tensor computer algebra package xPert for fast construction and manipulation of the equations of metric… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Linear Algebra
The subject of linear algebra includes the solution of linear equations, a topic properly belonging to college algebra. Earlier… Expand
Is this relevant?
2008
2008
xPerm: fast index canonicalization for tensor computer algebra
Abstract We present a very fast implementation of the Butler–Portugal algorithm for index canonicalization with respect to… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Introducing Cadabra: a symbolic computer algebra system for field theory problems
Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has… Expand
Is this relevant?
2007
2007
Cadabra: a field-theory motivated symbolic computer algebra system
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Combination of dynamic geometry, algebra and calculus in the software system GeoGebra
Dynamic geometry and computer algebra systems have highly influenced mathematics education. Unfortunately, these tools have been… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Modern computer algebra
Computer algebra systems are now ubiquitous in all areas of science and engineering. This highly successful textbook, widely… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
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… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The Magma Algebra System I: The User Language
Abstract In the first of two papers on MAGMA , a new system for computational algebra, we present the MAGMA language, outline the… Expand
  • table 1
  • table 2
  • table 3
  • table 5
  • table 7
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… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE