Startseite UR

The Membership Problem for quadratic modules with focus on the one dimensional case

URN zum Zitieren dieses Dokuments: urn:nbn:de:bvb:355-opus-10150

Augustin, Doris (2008) The Membership Problem for quadratic modules with focus on the one dimensional case. Dissertation, Universität Regensburg.

[img]
Vorschau
Lizenz: Veröffentlichungsvertrag für Publikationen mit Print on Demand
PDF
Download (788kB)

Zusammenfassung (Englisch)

The Membership Problem for a subset Q of the polynomial ring R[X] over a real closed field R asks: Is there an algorithm to decide whether a given polynomial f lies in Q or not? For the case of a finitely generated quadratic module Q of IR[X] in dimension 1 we succeed and solve the Membership Problem affirmatively. We achieve the solution by first showing that Q is definable or equivalently ...

plus

Übersetzung der Zusammenfassung (Deutsch)

Das Mitgliedschaftsproblem für eine Teilmenge Q des Polynomrings R[X] über einem reell abgeschlossenen Körper R fragt, ob es einen Algorithmus gibt, der für ein gegebenes Polynom f entscheidet, ob f in Q liegt oder nicht. Für den Fall eines endlich erzeugten quadratischen Moduls Q in IR[X] in Dimension 1 geben wir in dieser Arbeit eine positive Antwort auf das Mitgliedschaftsproblem. Die Lösung ...

plus


Bibliographische Daten exportieren



Dokumentenart:Hochschulschrift der Universität Regensburg (Dissertation)
Datum:10 Juli 2008
Begutachter (Erstgutachter):Manfred (Prof. Dr.) Knebusch
Tag der Prüfung:26 Juni 2008
Institutionen:Mathematik > Professoren und akademische Räte im Ruhestand > Prof. Dr. Manfred Knebusch
Klassifikation:
NotationArt
13J30MSC
03C64MSC
12Y05MSC
Stichwörter / Keywords:Reelle Algebra , Modelltheorie , Quadratischer Modul , Präordnung , Mitgliedschaftsproblem , Positivität von Polynomen , Erben , real algebra , model theory , membership problem , quadratic module , heirs
Dewey-Dezimal-Klassifikation:500 Naturwissenschaften und Mathematik > 510 Mathematik
Status:Veröffentlicht
Begutachtet:Ja, diese Version wurde begutachtet
An der Universität Regensburg entstanden:Ja
Eingebracht am:27 Okt 2009 16:28
Zuletzt geändert:13 Mrz 2014 11:55
Dokumenten-ID:10763
Nur für Besitzer und Autoren: Kontrollseite des Eintrags

Downloads

Downloads im Monat während des letzten Jahres

  1. Universität

Universitätsbibliothek

Publikationsserver

Kontakt:

Publizieren: oa@ur.de

Dissertationen: dissertationen@ur.de

Forschungsdaten: daten@ur.de

Ansprechpartner