Этот пост был вдохновлен recent обсуждениями с Бьёрном Брингманном. Программные пакеты символьной математики высоко развиты для многих математических задач в областях таких как алгебра, анализ и численный анализ. Однако, по моему знанию, у нас нет аналогично сложных инструментов для проверки асимптотических оценок - неравенств, которые должны выполняться для произвольно [...]