Such CASs do exist indeed, check Reduce: https://en.wikipedia.org/wiki/Reduce_(computer_algebra_system) https://en.wikipedia.org/wiki/Reduce_(computer_algebra_s

Such CASs do exist indeed, check Reduce: https://en.wikipedia.org/wiki/Reduce_(computer_algebra_system) https://en.wikipedia.org/wiki/Reduce_(computer_algebra_syste... Which is awesome, BTW. There's also Giac/Xcas: https://www-fourier.ujf-grenoble.fr/~parisse/giac.html https://www-fourier.ujf-grenoble.fr/~parisse/giac.html, and a few more specialised ones.