Certifying properties of an efficient functional program for computing Gröbner bases (Q1012152)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Certifying properties of an efficient functional program for computing Gröbner bases
scientific article

    Statements

    Certifying properties of an efficient functional program for computing Gröbner bases (English)
    0 references
    0 references
    0 references
    0 references
    14 April 2009
    0 references
    0 references
    formal methods
    0 references
    software verification
    0 references
    theorem provers
    0 references
    functional programming
    0 references
    Gröbner bases
    0 references
    Buchberger's algorithm
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references