added documentation on mathematical underpinnings