Tag: #math
What is Monte Carlo integration?
2024-04-24
What is the Metropolis algorithm?
2024-04-18
Proving 1+1=2 and other advanced theorems
Lean is used to define and prove the commutativity of addition on natural numbers. 2023-06-14
Un-biasing a biased coin
Flip a biased coin twice to get an unbiased outcome. Use HT and TH as the outcomes, ignoring HH and TT. 2013-11-16
All content copyright James Fisher.
TigYog
Kickabout