KOPS - The Institutional Repository of the University of Konstanz

Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials

Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials

Cite This

Files in this item

Checksum: MD5:6903dd84613b49c29b138d2513cbc033

WAGNER, Sven, 2009. Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials [Dissertation]. Konstanz: University of Konstanz

@phdthesis{Wagner2009Archi-556, title={Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials}, year={2009}, author={Wagner, Sven}, address={Konstanz}, school={Universität Konstanz} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/556"> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/556"/> <dc:rights>Attribution-NonCommercial-NoDerivs 2.0 Generic</dc:rights> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/556/1/Dissertation_Wagner.pdf"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-22T17:45:02Z</dcterms:available> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:language>eng</dc:language> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:issued>2009</dcterms:issued> <dcterms:abstract xml:lang="deu">Wir zeigen die Entscheidbarkeit der Archimedizität eines endlich erzeugten quadratischen Moduls im Ring aller reellen Polynome in mehreren gegebenen Veränderlichen. Letzteres ist äquivalent zu der Frage, ob die von endlich vielen gegebenen reellen Polynomen erzeugte abgeschlossene semialgebraische Menge beschränkt ist, und ob jedes auf dieser Menge strikt positive reelle Polynom eine Darstellung als Summe von Quadraten, die mit den gegebenen Polynomen gewichtet sein können, besitzt. Dafür verschärfen wir die 2001 von T. Jacobi und A. Prestel gefundene bewertungstheoretische Charakterisierung dieser Frage. Diese Verschärfung wurde durch einen Satz von H.W. Schülting aus dem Jahre 1986 inspiriert, für den wir einen neuen Beweis angeben, der bewertungstheoretische und modelltheoretische Methoden vereint und dafür auf tiefliegende Resultate (eingebettete Auflösung von Singularitäten) aus der Algebraischen Geometrie verzichten kann.</dcterms:abstract> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/2.0/"/> <dcterms:title>Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials</dcterms:title> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-22T17:45:02Z</dc:date> <dcterms:alternative>Archimedische quadratische Moduln: Ein Entscheidungsproblem für reelle Polynome in mehreren Variablen</dcterms:alternative> <dc:format>application/pdf</dc:format> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/556/1/Dissertation_Wagner.pdf"/> <dc:creator>Wagner, Sven</dc:creator> <dc:contributor>Wagner, Sven</dc:contributor> </rdf:Description> </rdf:RDF>

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

Dissertation_Wagner.pdf 668

This item appears in the following Collection(s)

Attribution-NonCommercial-NoDerivs 2.0 Generic Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 2.0 Generic

Search KOPS


Browse

My Account