Yes those are the formulae (didn't check each one for correctness but they look right).