It used Maxima many years ago.