GBteoriasta
GB-teoria, eli Gröbner-basis-teoria, on laskennallinen lähestymistapa polynomiaalisiin ideaalijärjestelmiin. Sen avulla voidaan käsitellä ja ratkaista monimutkaisia polynomiyhtälöitä tavalla, joka soveltuu erityisesti symboliseen laskentaan ja tietojenkäsittelyyn.
Keskeinen käsite on Gröbner-basis, erityinen polynomijoukko, joka generaattori saman ideaalin kuin alun peräinen generointijoukko. Gröbner-basis määrittelee
Sovellukset kattavat systemien ratkaisemisen, eliminaation, geometrisen muodon analysoinnin sekä symbolisen laskennan erilaisten ongelmien ratkaisut. Gröbner-basis-teoria on
Rajoitteita ovat laskennan monimutkaisuus ja mahdollinen nopea kasvua suurissa järjestelmissä. Tutkimus kohdistuu tehokkaampiin algoritmeihin, parempiin termijärjestyksiin