Computing with quadratic forms over number fields

Przemysław Koprowski, Alfred Czogała

This paper presents fundamental algorithms for the computational theory of quadratic forms over number fields. In the first part of the paper, we present algorithms for checking if…