База данных предназначена для повышения эффективности процесса изучения математики на первых курсах университета за счет количественно-прозрачной связности курсов и индивидуальных образовательных траекторий на основе графа знаний. База данных содержит сведения по теории множеств, основам комбинаторики, основным понятиям общей алгебры, основам математического анализа и основам теории вероятностей. Элементами базы данных являются понятия, определения, аксиомы, теоремы, доказательства и методы, группирующиеся в темы. База данных может применяться в рекомендательных системах, помогающих учащемуся выстроить собственную последовательность освоения тем, может быть использована для автоматизированного создания учебно-методических материалов, а также для анализа структуры предметной области стандартными методами анализа графов. Тип ЭВМ: настольные ЭВМ; ОС: Windows 8.1+ или MacOS 10.10+ или Ubuntu 12.04+ или Fedora 21 или Debian.