Tracing occurrences of patterns in symbolic computations.

Francesco Gardin, John A. Campbell

Browse the full ISSAC paper archive.