Algorithms for quadratic forms over real function fields

Konrad Jałowiecki, and Przemysław Koprowski. "Algorithms for quadratic forms over real function fields." Banach Center Publications 108.1 (2016): 133-141. <http://eudml.org/doc/286124>.

@article{KonradJałowiecki2016,
abstract = {This paper presents algorithms for quadratic forms over a formally real algebraic function field K of one variable over a fixed real closed field k. The algorithms introduced in the paper solve the following problems: test whether an element is a square, respectively a local square, compute Witt index of a quadratic form and test if a form is isotropic/hyperbolic. Finally, we remark on a method for testing whether two function fields are Witt equivalent.},
author = {Konrad Jałowiecki, Przemysław Koprowski},
journal = {Banach Center Publications},
keywords = {quadratic forms; real algebraic function fields; index; isotropy; algorithm},
language = {eng},
number = {1},
pages = {133-141},
title = {Algorithms for quadratic forms over real function fields},
url = {http://eudml.org/doc/286124},
volume = {108},
year = {2016},
}

TY - JOUR
AU - Konrad Jałowiecki
AU - Przemysław Koprowski
TI - Algorithms for quadratic forms over real function fields
JO - Banach Center Publications
PY - 2016
VL - 108
IS - 1
SP - 133
EP - 141
AB - This paper presents algorithms for quadratic forms over a formally real algebraic function field K of one variable over a fixed real closed field k. The algorithms introduced in the paper solve the following problems: test whether an element is a square, respectively a local square, compute Witt index of a quadratic form and test if a form is isotropic/hyperbolic. Finally, we remark on a method for testing whether two function fields are Witt equivalent.
LA - eng
KW - quadratic forms; real algebraic function fields; index; isotropy; algorithm
UR - http://eudml.org/doc/286124
ER -