Simplification - Joel Moses: Algebraic Simplification: A Guide for the Perplexed
Vladimir Bondarenko
This famous article can be downloaded for free here [2 Mb]
http://www-inst.eecs.berkeley.edu/~cs282/sp02/readings/moses-simp.pdf
Algebraic simplification is examined first from the point of
view of a user needing to comprehend a large expression, and
second from the point of view of a designer who wants to
construct a useful and efficient system. First we describe
various techniques akin to substitution. These techniques can
be used to decrease the size of an expression and make it more
intelligible to a user. Then we delineate the spectrum of
approaches to the design of automatic simplification capabilities
in an algebraic manipulation system. Systems are divided into
five types. Each type provides different facilities for the
manipulation and simplification of expressions. Finally we
discuss some of the theoretical results related to algebraic
simplification. We describe several positive results about the
existence of powerful simplification algorithms and the number-
theoretic conjectures on which they rely. Results about the non-
existence of algorithms for certain classes of expressions are
included.
P.S.
By the way, to look for such stuff you may wish to use options
like filetype:pdf
................................................................
jean-guillaume pyraksos writes on Fri, Mar 18 2005 12:38 am
J. Moses paper available ?
http://groups.google.com/group/sci.math.symbolic/msg/062e5f7ed62d56fe
JGP> Can somebody send me a ps/pdf copy of the historical
JGP> J. Moses paper : "Algebraic Simplification : a Guide
JGP> for the Perplexed" I can't find it. Thanks a lot.
................................................................
proportional writes on Fri, Mar 18 2005 11:45 am
Re: J. Moses paper available ?
http://groups.google.com/group/sci.math.symbolic/msg/c6a81cfe804939b3
P> I would like to have a copy too. Thanks! :)
................................................................
Augustus SFX van Dusen writes on Fri, Mar 18 2005 5:24 pm
Re: J. Moses paper available ?
http://groups.google.com/group/sci.math.symbolic/msg/4edf55b574e0abce
ASFXvD> It is available at the ACM website - but not for free.
This is right.
If you can afford this, we urge you to acquire it here.
http://portal.acm.org/citation.cfm?id=806298
................................................................