Algorithms for Integration of Unstructured Mathematical Documents into the Common Digital Space of Scientific Knowledge.