[Date Index] [Thread Index] [Author Index]

(U)Symbolic Manipulation

• To: mathgroup@smc.vnet.net
• Subject: [mg10667] (U)Symbolic Manipulation
• From: Dave Ashley <dashley1@ford.com>
• Date: Fri, 30 Jan 1998 04:24:06 -0500
• Conversion: Allowed
• Original-Encoded-Information-Types: IA5-Text

TO: MATHGROUP@WOLFRAM.COM

Is there a body of formal math that involves symbolic manipulation?  For
example, can one find a textbook on symbolic manipulation?  Are there
technical papers on it?  To find the technical papers, what does one
search by?

I'm curious about the math behind it.  For example, is there a standard
or canonical form for expressions that guarantees uniqueness, etc?

Thanks.

--------------------------------------------------------------- David T.
Ashley
Advanced Body Elect., Security/Electronic Control Modules Dept. C-258
ETC  Phone: 24-84697  FAX: 32-38438