Formalization of a General Theory of Quaternions and Applications
Date: 28/10/2024
Time: 13:30 - 14:30
Time: 13:30 - 14:30
Location: RISC Hagenberg + Zoom: https://jku.zoom.us/j/94919458950?pwd=V2FMU2l3b2JFMmtCamgzMXlhNkRYQT09 Meeting-ID: 949 1945 8950 Passwort: 135891
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.