An Abstraction-Preserving Block Matrix Implementation in Maple.

Stephen M. Watt, David J. Jeffrey

Browse the full SYNASC paper archive.