@inproceedings{inproceedingsf4536e5c,
title   = {Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields},
author = {Roberto, Kaique Matias de Andrade and Ribeiro, Hugo Rafael de Oliveira and Santos, Kaique Ribeiro Prates and Mariano, Hugo Luiz},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL 2025}
}