Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

Implicit Rule Formation in Symbolic Computation

M. Barnett
Journal / Anthology

Computers & Mathematics with Applications
Year: 1993
Volume: 26
Issue: 10
Page range: 79-86

To facilitate symbolic computation in certain areas of applied mathematics, using Mathematica, we give interrelated names to identities and corresponding transformation rules. This has let us write procedures to form the rules automatically, once names that conform to a particular simple style have been assigned to the identities. We have used the methodology in applications to quantum chemistry, robot kinematics and other topics, and explain it here by reference to examples that use elementary functions and special functions of mathematical physics. We think it is of interest beyond the specifics of Mathematica usage.

*Applied Mathematics > Computer Science
*Wolfram Technology > Programming > Symbolic Computation