Well … it isn't quite that simple
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
Extended polynomial algorithms
ACM '73 Proceedings of the ACM annual conference
Not seeing the roots for the branches: multivalued functions in computer algebra
ACM SIGSAM Bulletin
On computing with factored rational expressions
ACM SIGSAM Bulletin
Factored rational expressions in ALTRAN
ACM SIGSAM Bulletin
Multivariate partial fraction expansion
ACM Communications in Computer Algebra
Unit normalization of multinomials over Gaussian integers
ACM Communications in Computer Algebra
Ways to implement computer algebra compactly
ACM Communications in Computer Algebra
Simplifying products of fractional powers of powers
ACM Communications in Computer Algebra
Automated simplification of large symbolic expressions
Journal of Symbolic Computation
Neglected critical issues of effective CAS utilization
Journal of Symbolic Computation
A computer algebra user interface manifesto
ACM Communications in Computer Algebra
Hi-index | 0.00 |
This article provides goals for the design and improvement of default computer algebra expression simplification. These goals can also help users recognize and partially circumvent some limitations of their current computer algebra systems. Although motivated by computer algebra, many of the goals are also applicable to manual simplification, indicating what transformations are necessary and sufficient for good simplification when no particular canonical result form is required. After motivating the ten goals, the article then explains how the Altran partially factored form for rational expressions was extended for Derive and for the computer algebra in Texas Instruments products to help fulfill these goals. In contrast to the distributed Altran representation, this recursive partially factored semi-fraction form: *does not unnecessarily force common denominators, *discovers and preserves significantly more factors, *can represent general expressions, and *can produce an entire spectrum from fully factored over a common denominator through complete multivariate partial fractions, including a dense subset of all intermediate forms.