Интересуют готовые решения для преобразования символьных выражений типа
x — 2(x + y — 5) -> -x -2y + 10

Здравствуйте, drVanо, Вы писали:

V>Интересуют готовые решения для преобразования символьных выражений типа
V>x — 2(x + y — 5) -> -x -2y + 10

https://www.ginac.de
https://issc.uj.ac.za/symbolic/symbolic.html
https://github.com/symengine/symengine

любой решатель теорем z3 solver или z3 prover
в гугле полно

Здравствуйте, kov_serg, Вы писали:

_>https://www.ginac.de
_>https://issc.uj.ac.za/symbolic/symbolic.html
_>https://github.com/symengine/symengine

Спасибо.