Mathematics/Probability theory

Subject Classification

ACM: Mathematics of computing~Probability and statistics

AMS: Probability theory and stochastic processes

2024

The Lévy-Prokhorov Metric

by Michikazu Hirata

Jun 04

Countable Sums and Discrete (Sub)Distributions

by Gergely Buday and Andrei Popescu

May 25

Doob's Upcrossing Inequality and Martingale Convergence Theorem

by Ata Keskin

Feb 15

2023

Martingales

by Ata Keskin

Nov 21

Concentration Inequalities

by Emin Karayel and Yong Kiam Tan

Nov 13

Disintegration Theorem

by Michikazu Hirata

Nov 02

Hypergraph Colouring Bounds

by Chelsea Edmonds and Lawrence C. Paulson

Sep 23

General Probabilistic Techniques for Combinatorics and the Lovasz Local Lemma

by Chelsea Edmonds

Sep 20

S-Finite Measure Monad on Quasi-Borel Spaces

by Michikazu Hirata and Yasuhiko Minamide

Aug 08

A Sound and Complete Calculus for Probability Inequalities

by Matthew Doty

Feb 20

Suppes' Theorem For Probability Logic

by Matthew Doty

Jan 22

2022

Quasi-Borel Spaces

by Michikazu Hirata, Yasuhiko Minamide and Tetsuya Sato

Feb 03

2021

Verified Algorithms for Solving Markov Decision Processes

by Maximilian Schäffeler and Mohammad Abdulaziz

Dec 16

Markov Decision Processes with Rewards

by Maximilian Schäffeler and Mohammad Abdulaziz

Dec 16

Constructive Cryptography in HOL: the Communication Modeling Aspect

by Andreas Lochbihler and S. Reza Sefidgar

Mar 17

The Laws of Large Numbers

by Manuel Eberl

Feb 10

2018

Constructive Cryptography in HOL

by Andreas Lochbihler and S. Reza Sefidgar

Dec 17

Pricing in discrete financial models

by Mnacho Echenim

Jul 16

Hidden Markov Models

by Simon Wimmer

May 25

Probabilistic Timed Automata

by Simon Wimmer and Johannes Hölzl

May 24

2017

Buffon's Needle Problem

by Manuel Eberl

Jun 06

Probabilistic while loop

by Andreas Lochbihler

May 05

CryptHOL

by Andreas Lochbihler

May 05

2016

Source Coding Theorem

by Quentin Hibon and Lawrence C. Paulson

Oct 19

2015

Ergodic Theory

by Sebastien Gouezel

Dec 01

2014

A Verified Compiler for Probability Density Functions

by Manuel Eberl, Johannes Hölzl and Tobias Nipkow

Oct 09

Properties of Random Graphs -- Subgraph Containment

by Lars Hupel

Feb 13

2012

Markov Models

by Johannes Hölzl and Tobias Nipkow

Jan 03