A Formalization of the General Theory of Quaternions.

Thaynara Arielly de Lima, Andr Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincn

Browse the full ITP paper archive.