Данная диссертационная работа посвящена изложению некоторых результатов бурно развивающийся области, связанной с алгоритмами, превращающими базисные понятия коммутативной алгебры и алгебраической геометрии из абстрактно-теоритических в конкретно вычислимые.