document key algorithms in-code with doxygen

Key algorithms should be documented (with citations if necessary/appropriate) in-code using doxygen + embedded latex for formulas (see https://www.stack.nl/~dimitri/doxygen/manual/formulas.html).