Effective real numbers in Mmxlib (Q2958980)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Effective real numbers in Mmxlib
scientific article

    Statements

    title
    Effective real numbers in Mmxlib (English)
    0 references
    publication date
    3 February 2017
    0 references
    zbMATH DE Number
    6680761
    0 references
    describes a project that uses
    MPFI
    0 references
    MPFR
    0 references
    gmp
    0 references
    RealLib
    0 references
    iRRAM
    0 references
    OpenAlex ID
    W2163212258
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2958980&oldid=32769659"
    Powered by MediaWiki