Computer algebra systems have revolutionized the use of computers within mathematics research, and are currently extending that revolution to the …
