Archimedean Quadratic Modules : a Decision Procedure in Dimension Two

Cite This

Files in this item

Checksum: MD5:e565a77b82d666d27d0048886f1ad5eb

CANTO CABRAL, Maria Eugênia, 2005. Archimedean Quadratic Modules : a Decision Procedure in Dimension Two [Dissertation]. Konstanz: University of Konstanz

@phdthesis{CantoCabral2005Archi-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:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dc:rights>terms-of-use</dc:rights> <dcterms:issued>2005</dcterms:issued> <dc:language>eng</dc:language> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <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> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <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=""/> <dc:format>application/pdf</dc:format> <dcterms:available rdf:datatype="">2011-03-22T17:45:24Z</dcterms:available> <dspace:isPartOfCollection rdf:resource=""/> <dspace:hasBitstream rdf:resource=""/> <dcterms:alternative>Archimedische Quadratische Moduln: Ein Entscheidungsverfahren in Dimension Zwei</dcterms:alternative> <dcterms:isPartOf rdf:resource=""/> <dc:date rdf:datatype="">2011-03-22T17:45:24Z</dc:date> <dc:creator>Canto Cabral, Maria Eugênia</dc:creator> <dcterms:hasPart rdf:resource=""/> <dcterms:rights rdf:resource=""/> </rdf:Description> </rdf:RDF>

Downloads since Oct 1, 2014 (Information about access statistics)

tatual.pdf 196

This item appears in the following Collection(s)

Search KOPS


My Account