DeliVerMATH

Automated content indexing of mathematical publications.