Fabrizio Caruso: Software demonstration: macsyma

Abstract: (to be provided)