Research Welcomes to our semantic translation project page.
Most mathematical documents are in languages that only describe how math should be displayed . A primary research program underway in the PolyMath group studies the issues centred around identifying the semantic content of mathematical documents, and translating the mathematics in them into a form that can actually be manipulated on a computer. The various parts of the PolyNet research program then look into how we can move this semantic information across the network and between tools and environments for scientific research and education. There are various research projects, at other Centres, which study the language for transmitting semantically-encoded mathematics. Primary examples are OpenMath and MathBus .