Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Formal Proof of SCHUR Conjugate Function - MaRDI portal

Formal Proof of SCHUR Conjugate Function (Q3582705)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal Proof of SCHUR Conjugate Function
scientific article

    Statements

    title
    Formal Proof of SCHUR Conjugate Function (English)
    0 references
    author
    Franck Butelle
    0 references
    Florent Hivert
    0 references
    Micaela Mayero
    0 references
    Frédéric Toumazet
    0 references
    publication date
    24 August 2010
    0 references
    describes a project that uses
    SCHUR
    0 references
    z3
    0 references
    cvc3
    0 references
    Isabelle/HOL
    0 references
    PVS
    0 references
    Frama-C
    0 references
    SIMPLIFY
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    05-04
    0 references
    05E05
    0 references
    22-04
    0 references
    22E99
    0 references
    zbMATH DE Number
    5774506
    0 references
    OpenAlex ID
    W2952513609
    0 references
    arXiv ID
    1004.5034
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3582705&oldid=33636590"
    Powered by MediaWiki