author = {Thaynara Arielly de Lima and André Luiz Galdino and Bruno Berto de Oliveira Ribeiro and and Mauricio Ayala-Rincón},
title = {{A Formalization of the General Theory of Quaternions}},
booktitle = {{Leibniz International Proceedings in Informatics (LIPIcs)}},
language = {english},
pages = {11:1--11:18},
isbn_issn = {ISSN 1868-8969},
year = {2024},
editor = {Yves Bertot and Temur Kutsia and and Michael Norrish},
refereed = {yes},
length = {18}