math.wikipedia.org: A vision for a collaborative, semi-formal, language independent math(s) encyclopedia

It has been argued that the right representation is the key to successful reasoning [Bun13, p. 16]. We would broaden this observation to point out that while both representation and reasoning are crucial, they are not in themselves sufficient for most applied cognitive and computational workflows. In particular, the processes by which representations are created are logically prior. With large-scale projects, human and HCI factors must be considered, and suitable management strategies devised. Below, we consider the representation and workflow issues surrounding the creation of a large machine-readable mathematics knowledge base. Such a knowledge base would differ from a repository of human-readable texts, in that it would support a range of automated reasoning tasks. For example, one such task is automated tutoring. An ongoing master’s thesis [Dud16] on a related simpler task, automated question answering, has helped to motivate the current inquiry.