Title
Of integration by man and machine
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.
Year
DOI
Venue
1983
10.1145/1089338.1089342
ACM SIGSAM Bulletin
Keywords
Field
DocType
nontrivial symbol manipulation,symbolic integration problem,reduce integration package
Symbolic integration,Computer science,Symbol,Artificial intelligence
Journal
Volume
Issue
Citations 
17
3-4
1
PageRank 
References 
Authors
0.48
0
2
Name
Order
Citations
PageRank
Paul Smith131.60
Leon Sterling2856122.83