No label defined (Q5031679)

From MaRDI portal
scientific article; zbMATH DE number 7474655
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7474655

    Statements

    publication date
    16 February 2022
    0 references
    describes a project that uses
    GitHub
    0 references
    UniMath
    0 references
    MathOverflow
    0 references
    HoTT
    0 references
    cites work
    Q5111175
    0 references
    Q3509856
    0 references
    Q4309177
    0 references
    Q3977509
    0 references
    Q5718779
    0 references
    Q3986540
    0 references
    Q3986539
    0 references
    Q4398781
    0 references
    Q5718767
    0 references
    Q5485722
    0 references
    Q5167158
    0 references
    Q2967778
    0 references
    Q3474759
    0 references
    Q3972767
    0 references
    Homology of schemes
    0 references
    Cancellation theorem
    0 references

    Identifiers

    Mathematics Subject Classification ID
    01A70
    0 references
    14C15
    0 references
    14F42
    0 references
    zbMATH DE Number
    7474655
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5031679&oldid=36768089"
    Powered by MediaWiki