авторК. ФилипповКомпьютерные алгоритмы теоретико-множественного анализа сложных алгебраических систем
Буклинкер