Математическое программное обеспечение

Матричные методы теории графов

Аксиоматические системы и теория моделей

Алгебра

Математические пакеты прикладных программ

Математическая логика