Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,130,308 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.
2016
2016
Double conformal space-time algebra
R. B. Easter
,
E. Hitzer
2016
Corpus ID: 124928313
The Double Conformal Space-Time Algebra (DCSTA) is a high-dimensional 12D Geometric Algebra G4,8that extends the concepts…
Expand
2011
2011
Approximate Equivalence and Optimization for High-Level Datapath ?
Hui Deng
,
Jin-Zhao Wu
,
Ning Zhou
2011
Corpus ID: 62786386
With equivalence and optimization for high-level datapath become more important, functional equivalence algorithm based on…
Expand
2010
2010
From the second unknown to the symbolic equation
Albrecht Heeffer
2010
Corpus ID: 123929641
The symbolic equation slowly emerged during the course of the sixteenth century as a new mathematical concept as well as a…
Expand
Review
2006
Review
2006
Solving an Inverse Problem of a Meridian Arc in Terms of Computer Algebra System
S. Bian
,
Yong-Bing Chen
2006
Corpus ID: 122727069
In terms of computer algebra systems, an inverse problem of a meridian arc is discussed in two somewhat different ways in this…
Expand
1994
1994
ASAP : a protocol for symbolic computation systems
Stéphane Dalmas
,
Marc Gaëtano
,
Alain Sausse
1994
Corpus ID: 64675394
This report describes the conception and the implementation of a simple protocol for exchanging mathematical data between…
Expand
Review
1992
Review
1992
Integration and Differential Equations in Computer Algebra
M. Bronstein
1992
Corpus ID: 15416105
We describe in this paper how the problems of computing indeenite integrals and solving linear ordinary diierential equations in…
Expand
1992
1992
The Effects of Feedback in Computerized Adaptive and Self-Adapted Tests.
Linda L. Roos
1992
Corpus ID: 64669008
Computerized adaptive (CA) testing uses an algorithm to match examinee ability to item difficulty, while self-adapted (SA…
Expand
Review
1992
Review
1992
Complexity Issues in Computational Algebra
G. Gallo
1992
Corpus ID: 124306968
The ideal membership problem for the ring of multivariate polynomials is a central problem in Computational Algebra. Relatively…
Expand
1989
1989
Invention from first principles via topologies of interaction
B. Williams
1989
Corpus ID: 27651826
One hallmark of intelligence is the ability to create. This thesis explores one aspect of creativity invention. The central…
Expand
1975
1975
Solving a Problem in Eigenvalue Approximation with a Symbolic Algebra System
A. D. Hall
SIAM journal on computing (Print)
1975
Corpus ID: 40400550
In a recent paper by R. A. Handelsman and J. S. Lew [1], it is shown that for a certain family of potentials, the eigenvalues of…
Expand