Concerning scope, we focus on professional-level mathematics (Pro suffix emphasizes that). It is ready to use, and we describe a formula search mashup (https://github.com/CLLKazan/MathSearch) built atop of the ontology. On GitHub, you may find references to a published RDF dataset, which was extracted automatically from a test collection of our university's math journal.

However, I should warn that the ontology is a mature, but ongoing work (and it is meant to be, frankly speaking, since we follow the crowdsourcing methodology), and the quality of labels (especially, English) or coverage of fields of mathematics should be constantly improved.