The Transformation Calculus.

Jacques Garrigue

Published in: FSTTCS (1995)

Keyphrases

linear transformation
automated deduction
real time
data sets
databases
information retrieval
multiresolution
algebraic structure
computer algebra