HOL

анализ

сигналы

линейка

оптимизация

алгебра

теорвер матстат алг.теория игр

fortran gnuplot bc