On the central servers dedicated to computer algebra, the following software has recently been added.
