Archimedean Quadratic Modules : a Decision Procedure in Dimension Two ; Archimedische Quadratische Moduln: Ein Entscheidungsverfahren in Dimension Zwei
Titel:
Archimedean Quadratic Modules : a Decision Procedure in Dimension Two ; Archimedische Quadratische Moduln: Ein Entscheidungsverfahren in Dimension Zwei
Beteiligte:
Canto Cabral, Maria Eugênia
[VerfasserIn]
Erschienen:
KOPS - The Institutional Repository of the University of Konstanz, 2005
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
In 2001 Jacobi and Prestel proved an abstract criterion for a quadratic module to be Archimedean. In the following work the criterion of Jacobi and Prestel in dimension two was transformed in an algorithm, which enables us to decide when a quadratic module is Archimedean. The procedure is based on a reduction of the tests to be done according to Jacobi and Prestel which is already for higher dimensions no longer possible, because of the more complicated valuation theory. In fact, for dimension greater than two, it is unknown, if there is an such algorithm. ; published