Akbar Oripov

According to our database, Akbar Oripov authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics.

Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing

Proceedings of the Mathematical Software - ICMS 2016, 2016