GitHub repository: CLLKazan/OntoMathPro
Description: A Linked Data Hub for Mathematics