[ANN] Symbolics.jl: A Modern Computer Algebra System for a Modern Language

Package Announcements
143

Any news on symbolic integrals and symbolic equation solving?

1 Like
144

Polynomial equations got Groebner basis tools. Nonlinear equation solving is still in process, along with more integration tools.

13 Likes
145

First of all, what Symbolics.jl does under the hood in MTK is simply amazing. Itā€™s like having a whole maths department in your computer.

structural_simplify() is pure magic.

I guess the open question is whether Symbolics.jl is intended to be a CAS like SageMath, Mathematica, Maple, SymPy, or if it will be more of a ā€œmagic behind the scenesā€ thing.

3 Likes
146

It branched off to become a full fledged CAS. The reason is that having a complete and documented underpinning is better for MTK development, and that would make it useful in isolation anyways, so itā€™s two birds and one worm (positive spin?)

2 Likes
147

Interesting. Looking forward to it.

Using SageMath, which is great, but since i started to use Julia, I kind of unlearned Python.

1 Like