Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69
A Formalization of Martingales in Isabelle/HOL - MaRDI portal

A Formalization of Martingales in Isabelle/HOL (Q6458889)

From MaRDI portal





scientific article; zbMATH DE number 902362702
Language Label Description Also known as
English
A Formalization of Martingales in Isabelle/HOL
scientific article; zbMATH DE number 902362702

    Statements

    publication date
    10 November 2023
    0 references
    arXiv classification
    cs.LO
    0 references
    math.PR
    0 references
    author
    Ata Keskin
    0 references

    Identifiers

    arXiv ID
    2311.06188
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q6458889&oldid=40688410"
    Powered by MediaWiki