Uniform, Integral, and Feasible Proofs for the Determinant Identities (Q5056443)

From MaRDI portal
scientific article; zbMATH DE number 7629057
Language Label Description Also known as
English
Uniform, Integral, and Feasible Proofs for the Determinant Identities
scientific article; zbMATH DE number 7629057

    Statements

    Uniform, Integral, and Feasible Proofs for the Determinant Identities (English)
    0 references
    0 references
    0 references
    8 December 2022
    0 references
    bounded arithmetic
    0 references
    determinant
    0 references
    linear algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references