Modules

Estimating expression equivalence by decomposition into basis functions.