Automated Deduction in Ring Theory (Q2819201)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated Deduction in Ring Theory
scientific article

    Statements

    title
    Automated Deduction in Ring Theory (English)
    0 references
    author
    R. Padmanabhan
    0 references
    Yang Zhang
    0 references
    publication date
    28 September 2016
    0 references
    Mathematics Subject Classification ID
    68V15
    0 references
    03B35
    0 references
    16Z05
    0 references
    zbMATH DE Number
    6630644
    0 references
    zbMATH Keywords
    Prover9
    0 references
    Otter
    0 references
    commutativity
    0 references
    associative rings
    0 references
    describes a project that uses
    OTTER
    0 references
    Prover9
    0 references
    Mace4
    0 references
    OpenAlex ID
    W2478505817
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2819201&oldid=31552326"
    Powered by MediaWiki