The top documents tagged [symbolic mathematicsin]