2015 IJCNLP IJCNLP 2015

Retrieval of Research-level Mathematical Information Needs: A Test Collection and Technical Terminology Experiment