Parallelization of the Buchberger algorithm (Q1907790)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Parallelization of the Buchberger algorithm
scientific article

    Statements

    Parallelization of the Buchberger algorithm (English)
    0 references
    0 references
    0 references
    27 March 1996
    0 references
    The author discusses parallelization of Buchberger's completion algorithm for polynomial ideals. He first give a declarative representation of the algorithm as a system of rewriting rules which are applied to lists of typed polynomials. He next considers parallel and distributed implementations of the algorithm in the APS system which was developed by the author and others.
    0 references
    0 references
    0 references
    0 references
    0 references
    Buchberger's completion algorithm
    0 references
    0 references
    0 references