Здравствуйте!
В рамках своего диплома я работаю над алгоритмом ассоциативно-коммутативной нормализации термов. Мне хочется, что бы данная работа имела практическую ценность, поэтому на его основе я создаю математическую поисковую систему
uniquation.ru. Почитать о ней можно в
презентации и в заметке на
хабре. На данный момент система только развивается и находиться в состоянии альфа-версии.
Мне нужно определить, как совершенствовать систему, поэтому я хочу спросить у вас, поддержку каких математических выражений добавить в первую очередь. Например, улучшить поддержку пределов и ODE, обрабатывать ODE в формах
и
или добавить многомерные интегралы.