On the formalization of gamma function in HOL (Q2352499)

From MaRDI portal
Revision as of 16:05, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
On the formalization of gamma function in HOL
scientific article

    Statements

    title
    On the formalization of gamma function in HOL (English)
    0 references
    author
    Umair Siddique
    0 references
    Osman Hasan
    0 references
    publication date
    2 July 2015
    0 references
    Mathematics Subject Classification ID
    68T15
    0 references
    26A33
    0 references
    33B15
    0 references
    zbMATH DE Number
    6455035
    0 references
    zbMATH Keywords
    gamma function
    0 references
    Mittag-Leffler function
    0 references
    fractional calculus
    0 references
    gamma random variable
    0 references
    describes a project that uses
    Matlab
    0 references
    Mathematica
    0 references
    Isabelle/HOL
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2352499&oldid=23914858"
    Powered by MediaWiki