Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,718,856 papers from all fields of science
Search
Sign In
Create Free Account
Symbolic Manipulation Program
Known as:
Manipulation
, SMP
Symbolic Manipulation Program, usually called SMP, was a computer algebra system designed by Chris A. Cole and Stephen Wolfram at Caltech circa 1979…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Computer algebra system
Lipan Behera
Macsyma
SIGSAM
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Solvability of the direct Lyapunov first matching condition in terms of the generalized coordinates
Garcia Batista
,
Deyka Irina
2012
Corpus ID: 118454643
Instituto para la Formacion y Aprovechamiento de Recursos Humanos, Secretaria Nacional de Ciencia, Tecnologia e Innovacion.
2004
2004
ParFORM: Parallel Version of the Symbolic Manipulation Program FORM
M. Tentyukov
,
D. Fliegner
,
+4 authors
J. Vermaseren
arXiv.org
2004
Corpus ID: 3204096
After an introduction to the sequential version of FORM and the mechanisms behind, we report on the status of our project of…
Expand
2003
2003
The Derivation of Special Purpose Element Functions using Complex Solution Representations
R. Piltner
2003
Corpus ID: 18660511
For several elasticity problems, solution representations for the displacements and stresses are available. The solution…
Expand
1999
1999
Parallelizing the Symbolic Manipulation Program FORM
D. Fliegner
,
A. Retey
,
J. Vermaseren
1999
Corpus ID: 16147642
After an introduction to the sequential version of FORM and the mechanisms behind it we report on the status of our ongoing…
Expand
1999
1999
APPLICATION OF ORDER PARAMETER EQUATIONS FOR THE ANALYSIS AND THE CONTROL OF NONLINEAR TIME DISCRETE DYNAMICAL SYSTEMS
P. Levi
,
M. Schanz
,
S. Kornienko
,
O. Kornienko
1999
Corpus ID: 73545709
This work is based on the concept of order parameters of synergetics. The order parameter equations describe the behavior of a…
Expand
1992
1992
Evaluating the Impact of Network Partitions on Replicated Data Availability
Jehan-Francois Pâris
1992
Corpus ID: 12822548
Many distributed systems maintain multiple replicas of their critical data to protect these data against equipment failures. When…
Expand
1989
1989
Voting with bystanders
Jehan-Francois Pâris
[] Proceedings. The 9th International Conference…
1989
Corpus ID: 541342
A voting protocol overcoming the usual requirements of a minimum number of three copies to be of any practical use and relatively…
Expand
1989
1989
Regeneration protocols for replicated objects
D. Long
,
Jehan-Francois Pâris
[] Proceedings. Fifth International Conference on…
1989
Corpus ID: 16213452
The read and write availabilities of replicated data managed by the regeneration algorithm, a replica control protocol based on…
Expand
1987
1987
On Improving the Availability of Replicated Files
D. Long
,
Jehan-Francois Pâris
IEEE International Symposium on Reliable…
1987
Corpus ID: 5435879
To improve the availability and reliability of files the data are often replicated at several sites. A scheme must then be chosen…
Expand
1977
1977
A special purpose symbolic manipulation program for the derivation of the equations of motion for large flexible structures
A. Hale
,
L. Meirovitch
1977
Corpus ID: 60853689
This paper outlines a computer program especially tailored to the task of deriving explicit equations of motion for structures…
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