Fabrizio Caruso: Software demonstration: macsyma
Abstract: (to be provided)