Paper Info
Title
Algebraic simplification: a guide for the perplexed
Abstract
Algebraic simplification is examined first from the point of view of a user who needs 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 nonexistence of algorithms for certain classes of expressions are included.
Year
DOI
Venue
1971
10.1145/362637.362648
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Keywords
DocType
Volume
canonical simplification,efficient system,positive result,algebraic simplification,large expression,algebraic manipulation system,automatic simplification capability,certain class,different facility,powerful simplification algorithm,number-theoretic conjecture,spectrum
Journal
14
Issue
ISSN
Citations 
8
0001-0782
72
PageRank 
References 
Authors
56.42
11
1
Name
Order
Citations
PageRank
Joel Moses18157.01