ALLTYPES in the web
Fritz Schwarz · ACM communications in computer algebra · 2007
ALLTYPES which abbreviates ALgebraic Language and TYPe System provides an interactive environment in the internet that is particularly well suited for performing symbolic computations in differential algebra. Its novel design has been guided by the following principles.