Proceedings of the Second ACM Symposium on Symbolic and Algebraic Manipulation - SYMSAC '71 1971
DOI: 10.1145/800204.806261
|View full text |Cite
|
Sign up to set email alerts
|

Symbolic mathematical computation---introduction and overview

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
3
0

Year Published

1973
1973
1989
1989

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 8 publications
(3 citation statements)
references
References 23 publications
0
3
0
Order By: Relevance
“…•Cn ~ 7" «-fl/7 Tm x"-\ = (7"_i "+i -7"-i "a; n )/7"_i n _i (14) X\ = (7l »+l ~ 712*2 -7" X 3 • • • )/7ll…”
Section: Hi Analytical Comparison Of Numerical and Symbolic Methodsmentioning
confidence: 99%
See 1 more Smart Citation
“…•Cn ~ 7" «-fl/7 Tm x"-\ = (7"_i "+i -7"-i "a; n )/7"_i n _i (14) X\ = (7l »+l ~ 712*2 -7" X 3 • • • )/7ll…”
Section: Hi Analytical Comparison Of Numerical and Symbolic Methodsmentioning
confidence: 99%
“…Neither of these addresses the question of the applicability of symbolic solutions to the dynamic analysis of complex systems. In recent years several modern LISP based symbolic manipulation languages such as REDUCE II [13,14] have become available for most digital computers. The algebraic solution of the equations of motion for many nontrivial problems becomes feasible with these widely available languages.…”
Section: Introduction and Statement Of Problemmentioning
confidence: 99%
“…Thus reasoning about absolute bounds given statistics on antisamples seems a natural application for production systems. It has some similarities to symbolic algebraic manipulation, which often uses this sort of architecture [19]. We can use a number of more sophisticated techniques developed in artificial intelligence to avoid redundant computation in a production system, as for instance relaxation methods or "constraint propagation" [3].…”
mentioning
confidence: 99%