An example of formalizing recent mathematical results in MIZAR (Q865630)

From MaRDI portal
Revision as of 14:04, 25 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
An example of formalizing recent mathematical results in MIZAR
scientific article

    Statements

    An example of formalizing recent mathematical results in MIZAR (English)
    0 references
    0 references
    20 February 2007
    0 references
    formalizing mathematics
    0 references
    MIZAR
    0 references

    Identifiers