And if I am not wrong, a lot of today CAS solvers on calculators are derived from https://www-fourier.ujf-grenoble.fr/~parisse/giac.html and from the author of the famous Erable (Mapple in French :o )
And if I am not wrong, a lot of today CAS solvers on calculators are derived from https://www-fourier.ujf-grenoble.fr/~parisse/giac.html and from the author of the famous Erable (Mapple in French :o )