PEMBUKTIAN TEOREMA GEOMETRI AUTOMATIK DENGAN BASIS GROEBNER

Estikarini, Putri and Harjito, Harjito (2009) PEMBUKTIAN TEOREMA GEOMETRI AUTOMATIK DENGAN BASIS GROEBNER. Undergraduate thesis, Mathematics and Natural science.

[img]
Preview
PDF
76Kb

Abstract

Pernyataan-pernyataan di dalam geometri dapat ditranslasikan ke dalam bentuk persamaan polinomial. Suatu teorema geometri automatik memuat beberapa hipotesis dan konklusi di dalam. Pembuktian teorema geometri automatik dapat dilakukan dengan menghitung basis Groebner tereduksi dari . Dengan menentukan variety tak tereduksi untuk basis Groebner tereduksi dari I tersebut, dapat dicari basis Groebner tereduksi dari . Jika adalah basis Groebner tereduksi dari M, maka konklusi g tergantung dari hipotesis. Hal ini menunjukkan bahwa pembuktian teorema geometri automatik dapat diselesaikan dengan basis Groebner.

Item Type:Thesis (Undergraduate)
Uncontrolled Keywords:Variety Tak Tereduksi, Teorema Geometri Automatik, dan Basis Groebner Tereduksi.
Subjects:Q Science > QA Mathematics
Divisions:Faculty of Science and Mathematics > Department of Mathematics
ID Code:7321
Deposited By:Mr. Matematika Admin
Deposited On:20 Mar 2010 17:46
Last Modified:20 Mar 2010 17:46

Repository Staff Only: item control page