Symbolic Computation via Program Transformation.

Henrich Lauko, Petr Rockai, Jiri Barnat

Browse the full ICTAC paper archive.