Pr ogram Invariants Generation over Polynomial Ring using Iterative Methods.
Sergey L. Kryvyi, Oleksandr Maksymets · 2013
Asolutionforprogrampolynomialinvariantgenerationproblemispresented. Aniterationupperapproximation method that was successfully applied on free algebras in this paper was adopted for polynomial ring. Set of invariants is interpreted as an ideal over polynomial ring. Relationship and intersection problems solution are proposed. Intersection of Grobner basis is applied to solve intersection problem. Inverse obligatory is applied to solve relationship problem.