Такое происходт регулярно.
В основе современных трансляторов лежит теория формальных грамматик и теория конечных автоматов. Сегодня никто не возьмется разрабатывать транслятор без опоры на эти теории.
Первое время компьютеры использовались в основном для решения систем уравнений. И опиралось все это на "прикладную математику" под которой тогда понимались методы приближенного решения.
Когда появилась идея баз данных, как только не пытались организовывать информацию. Были иерархические и сетевые структуры, наборы и т.д. Но появилась реляционная алгебра и за несколько лет сформировался простой и понятный способ организации и управления данными.
В основе большинства современных методов шифрования лежат сети Фе́йстеля.
В большинстве прикладных программ мы обнаружим ряд математических моделей отражающих свойства рассматриваемых объектов.