Sciweavers

86
Voted
AISC
2010
Springer
15 years 1 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