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.

« April 2025 »
April
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
282930
Upcoming Events
RISC Forum Apr 07, 2025 01:30 PM - 01:45 PM
NO RISC Forum (lecture free) Apr 14, 2025 01:30 PM - 01:45 PM
NO RISC Forum Apr 21, 2025 01:30 PM - 01:45 PM
RISC Forum Apr 28, 2025 01:30 PM - 01:45 PM
FIRST AID COURSE May 05, 2025 01:00 PM - 05:00 PM
Previous events…
Upcoming events…