Does one know if mathematica uses that too ? I rememebr an HN post where one could see that sympy, maxima and the likes where way behind for a lot of more pecul

Does one know if mathematica uses that too ? I rememebr an HN post where one could see that sympy, maxima and the likes where way behind for a lot of more peculiar integrals.. ah the comparison is here : https://www.12000.org/my_notes/CAS_integration_tests/index.htm https://www.12000.org/my_notes/CAS_integration_tests/index.h... (and posted by other on this very thread...)