# Publishing house / Banach Center Publications / All volumes

## Banach Center Publications

PDF files of articles are only available for institutions which have paid for the online version upon signing an Institutional User License.

## Algorithms for quadratic forms over real function fields

### Volume 108 / 2016

Banach Center Publications 108 (2016), 133-141 MSC: 11E25, 14P05, 14Q99, 68W30. DOI: 10.4064/bc108-0-10

#### 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~$\bf 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.

#### Authors

University of Silesia
Bankowa 14
40-007 Katowice, Poland
e-mail
• Przemysław KoprowskiInstitute of Mathematics
University of Silesia
Bankowa 14
40-007 Katowice, Poland
e-mail

## Search for IMPAN publications

Query phrase too short. Type at least 4 characters.