Sciweavers

AISC
2010
Springer
13 years 9 months ago
Reducing Expression Size Using Rule-Based Integration
This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted...
David J. Jeffrey, Albert D. Rich