Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Understanding expression simplification
Carette J.  Symbolic and algebraic computation (Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation, Santander, Spain, Jul 4-7, 2004)72-79.2004.Type:Proceedings
Date Reviewed: Dec 3 2004

This rather informal paper addresses an important problem in computer algebra systems (CAS): “Which of many possible representations of a result, typically a mathematical expression, should be delivered as the answer?” Not surprisingly, this depends on how the result will be used. The use of CAS systems is such that the user expects that a reasonable representation be presented automatically. A tricky point is where two representations are almost equivalent, such as 1 and x/x.

This paper suggests that an elaborated version of Kolmogorov complexity is the right tool. It presents examples of the decisions a CAS must be able to take, and reviews the concepts of Kolmogorov complexity, the minimum description length (MDL) principle, and biform theories [1] that make the necessary connection between the MDL principle and the expression manipulation context.

The paper concludes with application examples illustrating the author’s experience with CAS usage and development.

There is very little systematic work here on general rules for expression simplification. This work primarily focuses on the length of the presented result, and is apparently novel in that it makes use of the biform framework [1]. This framework could perhaps have been presented in a more digestible way. A perspective not addressed in the paper is the connection to computation cost in using a result, since going between two equivalent representations may well incur asymmetric conversion costs.

Reviewer:  S. Arnborg Review #: CR130493 (0509-1049)
1) Farmer, W.M.; v Mohrenschildt, M.; , An overview of a formal framework for managing mathematics. Annals of Mathematics and Artificial Intelligence 38, 1-3(2003), 165–192.
Bookmark and Share
 
Simplification Of Expressions (I.1.1 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Simplification Of Expressions": Date
Symbolic computation of derivations using labelled trees
Grossman R., Larson R. Journal of Symbolic Computation 13(5): 511-523, 1992. Type: Article
Feb 1 1994
 Automated simplification of large symbolic expressions
Bailey D., Borwein J., Kaiser A. Journal of Symbolic Computation 60120-136, 2014. Type: Article
Nov 19 2014

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy