Theory reference

We are working on a description of the theoretical basis for the implementations in the library. Check back regularly for updates.