Symbolic mathematical computation

  title={Symbolic mathematical computation},
  author={Stephen Wolfram},
  journal={Commun. ACM},
  • S. Wolfram
  • Published 1 April 1985
  • Mathematics
  • Commun. ACM
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. 
Symbolic Computation and Artificial Intelligence
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
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
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
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.
MACSYMA from F to G
The role of computer algebra systems in mathematics teaching at upper secondary school
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
  • R. Pavelle
  • Computer Science
    European 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
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
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


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