RISC Forum
Thaynara Arielly de Lima (Universidade Federal de Goiás - Brazil): Formalization of a General Theory of Quaternions and Applications
Abstract: This talk discusses current extensions of the theory algebra from the NASA PVS library on formal developments for the Prototype Verification System (PVS). We will present recent formalizations on the theory of Quaternions over fields and show how this general theory was parameterized to deal with the structure of Hamilton's Quaternions and obtain an alternative proof of Lagrange's Four-Square Theorem.