Project Overview
The application contains all mathematician theorems and articles in one linked graph.
The project consists of two main parts: web application, which allows to work with articles and theorems, and 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.