Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 206,553,498 papers from all fields of science
Search
Sign In
Create Free Account
Computer algebra system
Known as:
Symbolic solver
, Computer algebra systems
, Computer algebra package
Expand
A computer algebra system (CAS) is a software program that allows computation over mathematical expressions in a way similar to the traditional…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Application programming interface
Dimension of an algebraic variety
Erable
Euclidean algorithm
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
SINGULAR: a computer algebra system for polynomial computations
G. Greuel
,
G. Pfister
,
H. Schönemann
ACCA
2009
Corpus ID: 30559822
SINGULAR is a specialized computer algebra system for polynomial computations with emphasize on the needs of commutative algebra…
Expand
Highly Cited
2009
Highly Cited
2009
xPert: computer algebra for metric perturbation theory
David Brizuela
,
J. M. Martín-García
,
G. M. Mena Marugán
2009
Corpus ID: 54993443
We present the tensor computer algebra package xPert for fast construction and manipulation of the equations of metric…
Expand
Highly Cited
2008
Highly Cited
2008
Linear Algebra
J. Hefferon
2008
Corpus ID: 1300625
The subject of linear algebra includes the solution of linear equations, a topic properly belonging to college algebra. Earlier…
Expand
Highly Cited
2007
Highly Cited
2007
Introducing Cadabra: a symbolic computer algebra system for field theory problems
K. Peeters
2007
Corpus ID: 14564221
Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has…
Expand
Highly Cited
2002
Highly Cited
2002
Modern computer algebra
R. G. Taylor
SIGA
2002
Corpus ID: 18785440
Computer algebra systems are now ubiquitous in all areas of science and engineering. This highly successful textbook, widely…
Expand
Highly Cited
1997
Highly Cited
1997
REDLOG: computer algebra meets computer logic
Andreas Dolzmann
,
T. Sturm
SIGS
1997
Corpus ID: 1470226
REDLOG is a package that extends the computer algebra system REDUCE to a computer logic system, i.e., a system that provides…
Expand
Review
1997
Review
1997
Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.)
David A. Cox
,
J. Little
,
D. O'Shea
Undergraduate texts in mathematics
1997
Corpus ID: 35416675
One or more than made up, by fred woodward under the best uses of systems. 157 rule generalizes easily to undergraduates this has…
Expand
Highly Cited
1997
Highly Cited
1997
The Magma Algebra System I: The User Language
W. Bosma
,
John J. Cannon
,
Catherine Playoust
J. Symb. Comput.
1997
Corpus ID: 17976479
Abstract In the first of two papers on MAGMA , a new system for computational algebra, we present the MAGMA language, outline the…
Expand
Highly Cited
1993
Highly Cited
1993
A Computer Algebra System
M. Noro
1993
Corpus ID: 18388647
Risa/Asir consists of the Risa engine for performing operations on mathematical objects and an interpreter for programs written…
Expand
Highly Cited
1992
Highly Cited
1992
Risa/Asir—a computer algebra system
M. Noro
,
T. Takeshima
ISSAC '92
1992
Corpus ID: 14999248
A computer algebra system risa/asir consists of a command asir for interactive use and several subroutine libraries which can be…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE