Вопросы к Поиску с Алисой
Возможно, имелось в виду развитие систем символьной математики (компьютерной алгебры) и влияние этого процесса на эволюцию математических обозначений, в том числе знаков сравнения.
Изначально математические утверждения формулировались словесно. ru.wikipedia.org Такая запись была громоздкой, часто неоднозначной, а алгебраические преобразования требовали незаурядной квалификации. ru.wikipedia.org Постепенно практически все слова в математических формулах (обозначения операций, отношений сравнения и т. д.) были заменены специальными символами. ru.wikipedia.org
В XIX веке появилось немало новых разделов математики, потребовавших разработки для них специфических удобных обозначений. ru.wikipedia.org В частности, в линейной алгебре возникло общепринятое оформление матриц, определителей и действий с ними. ru.wikipedia.org
В 50-е годы XX века Хомский и Бакус независимо разработали идею контекстно-свободных языков. habr.com Бакус применил её к компьютерным языкам: сперва к Fortran, затем к ALGOL. habr.com
С развитием компьютеров появились программные системы, производящие символьные вычисления и способные выдавать результаты в виде аналитических формул. infourok.ru За рубежом был создан ряд языков программирования и программных систем для символьных операций: muMATH, Macsyma, Reduce, MapleV, Mathematica и другие. infourok.ru
Со временем средства компьютерной алгебры были включены в наиболее серьёзные системы для численных расчётов (Mathcad и MATLAB), что превратило их в мощные и гибкие универсальные математические системы. infourok.ru