Functional programming with combinators for symbolic computation
E. V. Krishnamurthy · ACM SIGSAM Bulletin · 1984
The role of algebra in the design of machines, programming, and analysis of algorithms is now well understood. However, the use of machine as an aid for solving abstract algebraic, geometric and kinematic problems is still in its infancy due to the following difficulties: (i) Lack of an efficient representation for the discription of mathematical knowledge in the computer, (ii) complexity involved in the mechanical manipulation needed to carry out mathematical reasoning. Symbolic manipulation and algebraic computation have a leading role to play in the entire aspect of mathematical reasoning by machines and eventually in robotics.