Research overview on large-scale natural language processing on math-rich scientific documents, as carried out by the KWARC research group.

A case for transparency in science, exemplified via a showcase of active mathematical features on Authorea.com