# Symbolic mathematical computation

@article{Wolfram1985SymbolicMC, title={Symbolic mathematical computation}, author={Stephen Wolfram}, journal={Commun. ACM}, year={1985}, volume={28}, pages={390-394} }

Standard programming languages are inadequate for the kind of symbolic mathematical computations that theoretical physicists need to perform. Higher mathematics systems like SMP address this problem.

## 34 Citations

Symbolic Computation and Artificial Intelligence

- Computer ScienceFAIR
- 1991

The paper presents an overview of the research achievements on issues of common interest for Symbolic Computation and Artificial Intelligence. Common methods and techniques of non-numerical…

Symbolic Inversion of Control Relationships in Model-Based Expert Systems

- Mathematics
- 1988

This work looked at a number of symbolic algebra and mathematical tool packages in order to evaluate their capabilities and methods, specifically with respect to symbolic inversion, and ported the KATE system.

Computer Algebra and Symbolic Computation: Mathematical Methods

- Computer Science
- 2003

Maintaining the style set by Elementary Algorithms, the author explains mathematical methods as needed while introducing advanced methods to treat complex operations.

Computer algebra applications

- Computer Science
- 2000

A survey of applications based either on fundamental algorithms in Computer algebra or on the use of a Computer algebra system is presented, confirming that applications have both engineering and scientific aspects, i.e. apart from delivering results they assist in gaining insight as well.

The role of computer algebra systems in mathematics teaching at upper secondary school

- Mathematics
- 1990

It was found that the utilities available within the Derive program were applicable to most areas of the new upper school mathematics curricula due for introduction in 1991, and were suitable for use in schools.

MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences

- Computer ScienceEuropean Conference on Computer Algebra
- 1985

This paper provides an introduction to MACSYMA and provides the motivation for using the system and many examples are given of MAC SYMA’s capabilities with actual computer input and output.

A radical proposal for computer algebra in education

- Computer ScienceSIGS
- 1984

This paper substantiates claims that a vast opportunity for beneficial mutual reinforcement and cross-motivation between math and computer education is being squandered, and proposes remedies.

A LISP System for Chemical Groups: Wigner — Eckart Coefficients for Arbitrary Permutation Groups

- Mathematics
- 1985

Computer applications of group theory have almost invariably used numerical representations of the fundamental quantities of the group. For example, the combination laws in the crystallographic…

## References

SHOWING 1-10 OF 18 REFERENCES

Manual for SCHOONSCHIP a CDC 6000/7000 program for symbolic evaluation of algebraic expressions

- Computer Science
- 1974

D.Y.Y. SCRATCHPAD user’s manual

- Rep. RA70. IBM T.J. Watson Research Center. Yorktown Heights. N.Y.,
- 1975

Altran user ' s manual

- 1977

Altran user's manual. Rep.. Bell Laboratories

- Altran user's manual. Rep.. Bell Laboratories
- 1977

MACSYMA reference manual

- Laboratory for Computer Science. MIT, Cambridge. Mass
- 1977

ASHMEDAI user ’ s guide

- 1975

ASHMEDAI user's guide. Rep. COO-3066-44

- Physics Dept.. Carnegie-Mellon Univ.. Pittsburgh. Pa
- 1975

CAMAL user ’ s manual

- 1975

CAMAL user's manual. Computing Service

- Univ. of Cambridge . United Kingdom
- 1975

SCRATCHPAD user's manual

- Rep. RA70. IBM T.J. Watson Research Center. Yorktown Heights. N.Y
- 1975