Skip to search form
Skip to main content
>
Semantic Scholar
Semantic Scholar's Logo
Search
Sign In
Create Free Account
You are currently offline. Some features of the site may not work correctly.
Macsyma
Known as:
MAC’s SYmbolic MAnipulator
, Macsyma Inc.
, Macsyma, Inc.
Macsyma (Project MAC’s SYmbolic MAnipulator) is one of the oldest general purpose computer algebra systems which is still widely used. It was…
Expand
Wikipedia
Create Alert
Related topics
Related topics
41 relations
Assignment (computer science)
BSD
Common Lisp
Computer algebra system
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2001
Highly Cited
2001
Symbolic Reachability Computation for Families of Linear Vector Fields
G. Lafferriere
,
George J. Pappas
,
S. Yovine
J. Symb. Comput.
2001
Corpus ID: 8243058
The control paradigm of physical processes being supervised by digital programs has lead to the development of a theory of hybrid…
Expand
Highly Cited
2001
Highly Cited
2001
Gröbner Bases and Systems Theory
B. Buchberger
Multidimens. Syst. Signal Process.
2001
Corpus ID: 33675743
We present the basic concepts and results of Gröbner bases theory for readers working or interested in systems theory. The…
Expand
Highly Cited
2000
Highly Cited
2000
Symbolic Computation and Differential Equations: Lie Symmetries
J. Carminati
,
K. Vu
J. Symb. Comput.
2000
Corpus ID: 206574824
In this paper we discuss the package DESOLV written for the algebraic computing system MAPLE. DESOLV has routines which will…
Expand
Highly Cited
1994
Highly Cited
1994
On global identifiability for arbitrary model parametrizations
L. Ljung
,
T. Glad
Autom.
1994
Corpus ID: 329324
It is a fundamental problem of identification to be able—even before the data have been analyzed—to decide if all the free…
Expand
Highly Cited
1992
Highly Cited
1992
Power Series in Computer Algebra
W. Koepf
J. Symb. Comput.
1992
Corpus ID: 44778734
Formal power series (FPS) of the form Σ k = 0 ∞ a k ( x − x 0 ) k are important in calculus and complex analysis. In some…
Expand
Highly Cited
1991
Highly Cited
1991
An analytical approach to global optimization
P. Hansen
,
B. Jaumard
,
Shi-Hui Lu
Math. Program.
1991
Corpus ID: 36241008
Global optimization problems with a few variables and constraints arise in numerous applications but are seldom solved exactly…
Expand
1985
1985
Normal Form and Center Manifold Calculations on MACSYMA
R. Rand
,
W. L. Keith
1985
Corpus ID: 117170981
This paper describes the use of the symbolic manipulation system MACSYMA to facilitate normal form and center manifold…
Expand
1974
1974
MACSYMA - the fifth year
J. Moses
SIGS
1974
Corpus ID: 16939098
MACSYMA is a large symbolic and algebraic manipulation system which has been under development at Project MAC, M.I.T. since 1969…
Expand
Highly Cited
1973
Highly Cited
1973
The EZ GCD algorithm
J. Moses
,
D. Yun
ACM Annual Conference
1973
Corpus ID: 18184622
This paper presents a preliminary report on a new algorithm for computing the Greatest Common Divisor (GCD) of two multivariate…
Expand
Highly Cited
1971
Highly Cited
1971
The MACSYMA system
W. A. Martin
,
R. Fateman
SYMSAC '71
1971
Corpus ID: 2185579
MACSYMA is a system for symbolic manipulation of algebraic expressions which is being developed at Project MAC, M.I.T. This paper…
Expand
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