Of integration by man and machine
- 1 August 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSAM Bulletin
- Vol. 17 (3-4) , 21-24
- https://doi.org/10.1145/1089338.1089342
Abstract
We describe a symbolic integration problem arising from an application in engineering. A solution is given and compared with the solution generated by the REDUCE integration package running at Cambridge. Nontrivial symbol manipulation, particularly simplification, is necessary to reconcile the answers.Keywords
This publication has 0 references indexed in Scilit: