Project Overview
The application contains all mathematician theorems and articles in one linked graph.
The project consists of two main parts: a web application, which allows working with articles and theorems, and a Math Ontology project, which is responsible for filling the system with data.
Technologies
What Was Done
Math Ontology project is able to compare sense of different theorems and organize them in united logical structure.