Czasopismo
Tytuł artykułu
Warianty tytułu
Języki publikacji
Abstrakty
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.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Numer
Strony
133-141
Opis fizyczny
Daty
wydano
2016
Twórcy
autor
- Institute of Mathematics, University of Silesia, Bankowa 14, 40-007 Katowice, Poland
autor
- Institute of Mathematics, University of Silesia, Bankowa 14, 40-007 Katowice, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-bc108-0-10