Elements of computer algebra with applications
Elements of computer algebra with applications
A guide to computer algebra systems
A guide to computer algebra systems
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
AXIOM: the scientific computation system
AXIOM: the scientific computation system
The Maple V handbook
Equational reasoning and term rewriting systems
Handbook of logic in artificial intelligence and logic programming (vol. 1)
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Hi-index | 0.00 |
This paper represents the author's attempt to come to grips with some of the practical problems that arise out of conventional algebraic manipulation and leads to a discussion of the possibilities of generalising algebraic concepts such as commutativity and associativity to other algebraic systems. An account is given of a class instance providing manipulation and simplification of 'school' algebraic formulae. A concept of variability is introduced which controls the order in which terms and factors appear in sums and products. Rules based on the commutative, associative and distributive laws of algebra, for simplification of sums, products and a few basic operators are presented. Some discussion is given of how an advanced class system could possibly be of help in general algebraic simplification problems.