Given a collection of documents as input, the C-Value method identifies multi-word technical terms using both a linguistic and a statistical component.
despite the sophistication of these methods, they leave elements of the natural language of mathematics largely unexploited.