### Abstract

Original language | English |
---|---|

Pages (from-to) | 363-380 |

Number of pages | 18 |

Journal | The Computer Journal |

Volume | 15 |

Issue number | 4 |

DOIs | |

Publication status | Published - 1972 |

### Fingerprint

### Cite this

*The Computer Journal*,

*15*(4), 363-380. https://doi.org/10.1093/comjnl/15.4.362

**A review of algebraic manipulative programs and their application.** / Barton, D; Fitch, John P.

Research output: Contribution to journal › Article

*The Computer Journal*, vol. 15, no. 4, pp. 363-380. https://doi.org/10.1093/comjnl/15.4.362

}

TY - JOUR

T1 - A review of algebraic manipulative programs and their application

AU - Barton, D

AU - Fitch, John P

PY - 1972

Y1 - 1972

N2 - This paper describes the applications area of computer programs that carry out formal algebraic manipulation. The first part of the paper is tutorial and severed typical problems are introduced which can be solved using algebraic manipulative systems. Sample programs for the solution of these problems using several algebra systems are then presented. Next, two more difficult examples are used to introduce the reader to the true capabilities of an algebra program and these are proposed as a means of comparison between rival algebra systems. A brief review of the technical problems of algebraic manipulation is given in the final section

AB - This paper describes the applications area of computer programs that carry out formal algebraic manipulation. The first part of the paper is tutorial and severed typical problems are introduced which can be solved using algebraic manipulative systems. Sample programs for the solution of these problems using several algebra systems are then presented. Next, two more difficult examples are used to introduce the reader to the true capabilities of an algebra program and these are proposed as a means of comparison between rival algebra systems. A brief review of the technical problems of algebraic manipulation is given in the final section

UR - http://dx.doi.org/10.1093/comjnl/15.4.362

U2 - 10.1093/comjnl/15.4.362

DO - 10.1093/comjnl/15.4.362

M3 - Article

VL - 15

SP - 363

EP - 380

JO - The Computer Journal

JF - The Computer Journal

SN - 0010-4620

IS - 4

ER -