Personal tools
You are here: Home / Internal / RISC Forum / 2024-2025: Winter Semester / RISC Forum

RISC Forum

Thaynara Arielly de Lima (Universidade Federal de Goiás - Brazil): Formalization of a General Theory of Quaternions and Applications
When Oct 28, 2024
from 01:30 PM to 02:30 PM
Add event to calendar vCal
iCal

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.

« July 2025 »
July
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
Upcoming Events
RISC Forum Oct 06, 2025 01:30 PM - 01:45 PM — RISC
RISC Forum Oct 13, 2025 01:30 PM - 01:45 PM — RISC
RISC Forum Oct 20, 2025 01:30 PM - 01:45 PM — RISC
RISC Forum Oct 27, 2025 01:30 PM - 01:45 PM — RISC
RISC Forum Nov 03, 2025 01:30 PM - 01:45 PM — RISC
Previous events…
Upcoming events…