Archimedean Quadratic Modules : a Decision Procedure in Dimension Two

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:e565a77b82d666d27d0048886f1ad5eb

CANTO CABRAL, Maria Eugênia, 2005. Archimedean Quadratic Modules : a Decision Procedure in Dimension Two

@phdthesis{Canto Cabral2005Archi-656, title={Archimedean Quadratic Modules : a Decision Procedure in Dimension Two}, year={2005}, author={Canto Cabral, Maria Eugênia}, address={Konstanz}, school={Universität Konstanz} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/656"> <dcterms:issued>2005</dcterms:issued> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">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.</dcterms:abstract> <dc:contributor>Canto Cabral, Maria Eugênia</dc:contributor> <dcterms:title>Archimedean Quadratic Modules : a Decision Procedure in Dimension Two</dcterms:title> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/656"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-22T17:45:24Z</dcterms:available> <dc:format>application/pdf</dc:format> <dcterms:alternative>Archimedische Quadratische Moduln: Ein Entscheidungsverfahren in Dimension Zwei</dcterms:alternative> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-22T17:45:24Z</dc:date> <dc:creator>Canto Cabral, Maria Eugênia</dc:creator> <dc:rights>deposit-license</dc:rights> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

tatual.pdf 66

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto