KOPS - Das Institutionelle Repositorium der Universität Konstanz

Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials

Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:6903dd84613b49c29b138d2513cbc033

WAGNER, Sven, 2009. Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials

@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: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/556"> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/556"/> <dc:rights>deposit-license</dc:rights> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-22T17:45:02Z</dcterms:available> <dc:language>eng</dc:language> <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="https://creativecommons.org/licenses/by-nc-nd/2.0/legalcode"/> <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> <dc:format>application/pdf</dc:format> <dcterms:alternative>Archimedische quadratische Moduln: Ein Entscheidungsproblem für reelle Polynome in mehreren Variablen</dcterms:alternative> <dc:contributor>Wagner, Sven</dc:contributor> <dc:creator>Wagner, Sven</dc:creator> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Dissertation_Wagner.pdf 306

Das Dokument erscheint in:

deposit-license Solange nicht anders angezeigt, wird die Lizenz wie folgt beschrieben: deposit-license

KOPS Suche


Stöbern

Mein Benutzerkonto