The papers about MathWebSearch
The (Jekyll generated part) of the kwarc website
Competition between python TicTacToe AIs
The Manuals and Documentation of the SMGloM project
Related Work for FrameIT