Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,391,500 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
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
2008
2008
Specialized computer algebra system GINV
Y. A. Blinkov
,
V. Gerdt
Programming and computer software
2008
Corpus ID: 6594586
Computer algebra system GINV (Gröbner INVolutive) is presented. It is designed for studying and solving systems of algebraic…
Expand
Review
2006
Review
2006
Solving an Inverse Problem of a Meridian Arc in Terms of Computer Algebra System
S. Bian
,
Yongbing 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
2006
2006
Computer Algebra System Calculators: Gender Issues and Teachers' Expectations
Helen Forgasz
,
S. Griffith
2006
Corpus ID: 178687313
In this paper we present findings from two studies focusing on computer algebra system (CAS) calculators. In Victoria, Australia…
Expand
2001
2001
Symbolic algebra and timing driven data-flow synthesis
A. Peymandoust
,
G. Micheli
IEEE/ACM International Conference on Computer…
2001
Corpus ID: 2884220
The growing market of multi-media applications has required the development of complex ASICs with significant data-path portions…
Expand
1994
1994
ASAP : a protocol for symbolic computation systems
Stéphane Dalmas
,
M. 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
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
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
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