Some Derivations

Fork me on GitHub

Here are a few things I use all the time, so I decided to start writing them down instead of always re-deriving them on the fly.

Some were checked with Sage. I tend to make silly mistakes when I think that "it's just manipulations now", so I like the check.

  1. Multiplication of two gaussians (includes all normalisations, unlike other derivations online which stop at "here is a Normal distribution")
  2. Convolution of two Gaussians
  3. Bayesian odds ratio of multinomials I don't know of any piece of software which can check this one, so you'll have to take it on faith.

Copyright (c) 2009-2023. Luis Pedro Coelho. All rights reserved.