Sympy `solve` analogue

[indrih17]

Please add symbolic algebra and an analogue to solve from sympy.

[altavir]

I am putting this on the backlog, since it requires a lot of thinking and a lot of work to implement. As far as I understand, currently there is only one java library, supporting symbolic algebra. It has kotlin bindings but no normal build or distribution. It is probably possible to implement this feature rather beautifully in kotlin, but requires much more use-case study.

Specific use-case descriptions are appreciated. If we have several, we can start implementing the feature.

[SPC-code]

SymJa bindings were implemented some time ago: https://github.com/SciProgCentre/kmath/tree/dev/kmath-symja. So onec could generate type-safe MST, convert it to SymJa tree, optimize/solve, then convert back and execute on a target algebra.