Formalized linear algebra over Elementary Divisor Rings in Coq (Q5739892)

From MaRDI portal
scientific article; zbMATH DE number 6601110
Language Label Description Also known as
English
Formalized linear algebra over Elementary Divisor Rings in Coq
scientific article; zbMATH DE number 6601110

    Statements

    Formalized linear algebra over Elementary Divisor Rings in Coq (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    6 July 2016
    0 references
    formalization of mathematics
    0 references
    constructive algebra
    0 references
    Coq
    0 references
    Ssreflect
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers