The top documents tagged [trademark of macsyma]