Of integration by man and machine

SIGLEAvailable from British Library Lending Division - LD:3511.638(DAI-RP--210) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Of integration by man and machine

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