On the use of Buchberger criteria in G2V algorithm for calculating Gröbner bases - Gerdt, Vladimir P.; Hashemi, Amir (Programming and computer software, 2013)
Keywords: Algorithms; Artificial Intelligence; Computer Science; Criteria; Linear algebra; Mathematical analysis; Operating Systems; Software Engineering; Software Engineering/Programming and Operating Systems; Incremental Algorithm; Computational Effect; Standard Representation; Algorithm Operation; System Singular