TY  - RPRT
TI  - An Abstraction-Preserving Block Matrix Implementation in Maple
AU  - David J. Jeffrey
AU  - Stephen M. Watt
PY  - 2024
UR  - https://arxiv.org/abs/2408.02112
ID  - 2408.02112
ER  -