author = {de Lima Thaynara Arielly and Galdino André Luiz and de Oliveira Ribeiro Bruno Berto and Ayala-Rincón Mauricio Bertot and Yves and Kutsia and Temur and Norrish and Michael},
title = {{A Formalization of the General Theory of Quaternions}},
booktitle = {{15th International Conference on Interactive Theorem Proving (ITP 2024)}},
language = {english},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {309},
pages = {11:1--11:18},
address = {Dagstuhl, Germany},
isbn_issn = {ISBN 978-3-95977-337-9 ISSN 1868-8969},
year = {2024},
annote = {Keywords: Theory of quaternions, Hamilton’s quaternions, Algebraic formalizations, PVS},
editor = {Bertot and Yves and Kutsia and Temur and Norrish and Michael},
refereed = {yes},
length = {0},
url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.11}