Symbolic Computation in der Pensions- und Krankenversicherung

Zusatztext

Inhaltsangabe:Einleitung:Zu Beginn der achtziger Jahre wurde die Theorie der Gröbner-Basen ein wichtiges Teilgebiet der Computer-Algebra und ist mittlerweile in allen bekannten Programm-Systemen, die symbolische Berechnungen erlauben, integriert. Als Beispiele dafür wären Maple, Mathematica, Axiom oder Reduce anzuführen. In dieser Arbeit wird besonders auf die wohl wichtigste Anwendung von Gröbner-Basen, die symbolische Lösung von polynominalen Gleichungssystemen, Wert gelegt.Die zwei Software-Pakete ?Mapinsure? und ?Randinsure? für Maple werden im Bereich der Lebensversicherung auf ein und mehrere Leben, sowie Pensionsversicherung (Aktivitätsrente, Invaliditätsversicherungsleistungen, Witwen- und Waisenrente) vorgestellt und anhand einiger Beispiele demonstriert. Auf die theoretische Einführung in die Pensions- und Krankenversicherung folgt schließlich noch die Erweiterung von ?Randinsure? auf die Krankenversicherung, was ebenfalls durch einige Beispiele illustriert ist. Somit liefert diese Diplomarbeit eine schöne Anwendungsmöglichkeit von algebraischen Techniken in der Versicherungsmathematik. Als Beilage ist das Maple-Paket ?RandInsure? enthalten.Inhaltsverzeichnis:Inhaltsverzeichnis:1.Einführung in die Pensions- und Krankenversicherung11.1Allgemeines11.1.1Grundlagen21.1.2Erlebensfallversicherung41.2Pensionsversicherung51.2.1Allgemeines51.2.2Aktivitätsrente51.2.3Invaliditätsversicherungsleistungen81.2.4Witwenrentenversicherung121.2.5Waisenrentenversicherung161.2.6Nettoprämien181.3Krankenversicherung191.3.1Allgemeines191.3.2Erwartete Schäden201.3.3Beiträge231.3.4Nettoprämien241.3.5Bruttoprämien251.3.6Altersrückstellung252.Einführung in Symbolic Computation272.1Theorie der Gröbner-Basen272.1.1Einleitung272.1.2Polynome282.1.3Ideale282.1.4Zulässige Ordnungen auf Potenzprodukten292.1.5Zulässige Ordnungen auf Polynomen312.1.6Reduktion von Polynomen332.1.7Allgemeine Eigenschaften noetherscher Reduktionsrelationen392.1.8Gröbner-Basen und S-Polynome432.1.9Algorithmus zur Berechnung von Gröbner-Basen452.2Anwendungen von Gröbner-Basen482.2.1Ideale482.2.2Eliminationsideale482.2.3Algebraische Gleichungssysteme492.2.4Färben von Graphen572.3Anwendung von Symbolic Computation in der Versicherungsmathematik603.Vorhandene Software-Pakete in der Versicherungsmathematik633.1MAPinsure633.1.1Einführung in []

Weitere Details