Wojciech J. Gajda

Abstract: W referacie przedstawię wyniki dwóch prac (w tym jednej wspólnej z Alfredem Czogałą), których celem jest zalgorytmizowanie zagadnień z zakresu algebraicznej teorii form kwadratowych nad rzeczywistymi ciałami funkcyjnymi oraz nad ciałami liczbowymi. W referacie skupimy się na zastosowaniach zasad lokalno-globalnych (tw. Hassego, tw. Witta-Knebuscha, tw. Szymiczka). Poruszone zagadnienia będą obejmować zakres: od najprostszych zastosowań jakimi są testy izotropowości/hiperboliczności form, aż po wyznaczenie certyfikatu równoważności Witta. Jako przykład zastosowań, pokazane zostanie, iż dzięki implementacji omawianych algorytmów można było poprawić znany wcześniej wynik S. Jakubca i F. Marko.