@INPROCEEDINGS {40164,
author={S. Marcelino and C. Caleiro},
doi={},
booktitle={International Workshop on Algebraic Development Techniques WADT'22},
title={PNmatrices at Work},
year={2022},
month={June},
volume={},
pages={-} 
}