Pages that link to "Item:Q1694568"
From MaRDI portal
The following pages link to A formally verified proof of the central limit theorem (Q1694568):
Displaying 11 items.
- A heuristic prover for real inequalities (Q287379) (← links)
- A formally verified proof of the central limit theorem (Q1694568) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL (Q1984795) (← links)
- Program logic for higher-order probabilistic programs in Isabelle/HOL (Q2163157) (← links)
- Proving divide and conquer complexities in Isabelle/HOL (Q2362108) (← links)
- A Formal Proof of Cauchy’s Residue Theorem (Q2829261) (← links)
- (Q3606425) (← links)
- Computational logic: its origins and applications (Q4559535) (← links)
- A Short and Elementary Proof of the Central Limit Theorem by Individual Swapping (Q5071771) (← links)
- Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473) (← links)