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.

« May 2025 »
May
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728293031
Upcoming Events
RISC Forum May 26, 2025 01:30 PM - 02:00 PM
RISC Forum Jun 02, 2025 01:30 PM - 01:45 PM
NO RISC Forum Jun 09, 2025 01:30 PM - 01:45 PM
RISC Forum Jun 16, 2025 01:30 PM - 01:45 PM
RISC Forum Jun 23, 2025 01:30 PM - 02:15 PM
Previous events…
Upcoming events…