maxima
maxima-ecl
maxima-sage
