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.
The bottom two are based on Wolfram engine itself, so would fair the same as Mathematica. I do not know about the first one.
The bottom two are based on Wolfram engine itself, so would fair the same as Mathematica. I do not know about the first one.