Задачу из теории преследования. Удалось справиться с частным случаем. Сейчас вряд ли смогу подобное повторить, возраст приземлил. Но было очень интересно.
Найти ограничения на алгебраические свойства морфизмов между пространствами входных и выходных данных для различных моделей обработки. А нужно это для построения эффективной архитектуры специализированной вычислительной системы.
За ~3 года написания бэкендов не понадобилось никакой математики, кроме базовых вычислений ¯\_(ツ)_/¯
Поэтому я со спокойной душой говорю, что математика нужна не каждому программисту и не во всякой задаче.
Мне интересно с помощью каких инструментов такое решается. язык, библиотеки