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
About the Formalization of Some Results by Chebyshev in Number Theory - MaRDI portal

About the Formalization of Some Results by Chebyshev in Number Theory (Q3638243)

From MaRDI portal
scientific article
Language Label Description Also known as
English
About the Formalization of Some Results by Chebyshev in Number Theory
scientific article

    Statements

    title
    About the Formalization of Some Results by Chebyshev in Number Theory (English)
    0 references
    author
    Andrea Asperti
    0 references
    Wilmer Ricciotti
    0 references
    publication date
    2 July 2009
    0 references
    Mathematics Subject Classification ID
    03B35
    0 references
    11A41
    0 references
    68T15
    0 references
    zbMATH DE Number
    5574307
    0 references
    OpenAlex ID
    W2122761321
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3638243&oldid=35116466"
    Powered by MediaWiki