Here are some other alternatives (some internally use free Wolfram engine):
Reimplementation in Rust: https://github.com/ad-si/Woxi
WLJS Notebook: https://wljs.io
VS Code extension: https://github.com/vanbaalon/wolfbook
Here are some other alternatives (some internally use free Wolfram engine):
Reimplementation in Rust: https://github.com/ad-si/Woxi
WLJS Notebook: https://wljs.io
VS Code extension: https://github.com/vanbaalon/wolfbook
How do they stack up doing actual computer algebra things like symbolic integration?
https://www.12000.org/my_notes/CAS_integration_tests/reports...
Note that alternative open source solvers like Fricas fail 10x the integrals in that corpus.
Rubi is just rule based integration. So its like looking up a book of integral formulas and encoding them as rules. It does mean you need a minimum number of other features like partial fraction decomposition, polynomial factoring so it demonstrates some capability. Many of the other Mathematica like CAS end up using the Rubi rules themselves.
But indefinite integration is just a small aspect of CAS capabilities. What about integration over a line or surface, definite integration and dealing with singularities, differential equations, solving equations under assumptions, simplifying equations.
The bottom two are based on Wolfram engine itself, so would fair the same as Mathematica. I do not know about the first one.