Changed scope slightly

-Moved to single column
-Added Convergence and Complexity section
-Updated solution
-Added amsthm proof and theorem macros
-Removed redundant work in notebook
-Added Wootters and Nielsen to references