Członkowie
- dr hab. Przemysław Koprowski (badania indywidualne)
Opis badań
Główny temat badań w chwili obecnej koncentruje się na stworzeniu w kompletnego zestawu narzędzi obliczeniowej teorii form kwadratowych nad ciałami globalnymi. Badania te zostały zapoczątkowane w pracy:
Computing with quadratic forms over number fields, J. Symbolic Comp., vol. 89 (2018), s. 129-145,
napisanej wspólnie z dr. hab. Alfredem Czogałą, zaś aktualnie kontynuowane są we współpracy z dr Beatą Rothkegel oraz doktorantem, mgr. Mawunyo Kofi Darkey-Mensah.
Najważniejszym wynikiem dotychczasowych badań jest wskazanie efektywnego rozwiązania probelmu Hilberta dotyczącego przedstawialności totalnie dodatnich liczb algebraicznych jako sum czterech kwadratów (w danym ciele liczbowym). Rozwiązanie to zostało przedstawione w pracy
Solving sums of squares in global fields, Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, DOI: 10.1145/3476446.3535506.
Wypracowane dotąd algorytmy zostały zaimplementowane w pakiecie CQF dla systemu Magma, który prezentowany był na konferencji The International Symposium on Symbolic and Algebraic Computation 2020 (ISSAC’20) i przedstawiony w artykule:
CQF Magma package, ACM Communications in Computer Algebra, 2020, vol. 54, no. 2, s. 53-56.
Zakładane efekty badań
- Publikacje naukowe
- Wnioski grantowe