A DL for Signal Processing Transforms
Mathematical classification of algorithms for computing signal transforms
Symbolic formulas for generating fast signal transforms
CAS used for formula generation and verification
Formulas exported to special-purpose compiler for producing efficient code