Алгоритмы прикладной логики, алгебры, анализа, арифметики, автоматизации