Semantification of Identifiers in Mathematics for Better Math Information Retrieval

Article Details
Title:	Semantification of Identifiers in Mathematics for Better Math Information Retrieval
Article URLs:	https://doi.org/10.1145/2911451.2911503 https://www.wikidata.org/entity/Q29526894
Alternative Article URLs:	https://www.gipp.com/wp-content/papercite-data/pdf/schubotz16.pdf
Authors:	Moritz Schubotz	TU Berlin, Germany
	Alexey Grigorev	TU Berlin, Germany
	Marcus Leich	TU Berlin, Germany
	Howard S. Cohl	National Institute of Standards and Technology, USA
	Norman Meuschke	Universität Konstanz, Germany
	Bela Gipp	Universität Konstanz, Germany
	Abdou S. Youssef	National Institute of Standards and Technology, USA George Washington University
	Volker Markl	TU Berlin, Germany
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://mlp.formulasearchengine.com/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sigir/SchubotzGLCMGYM16
Author Comments:

ACM Information Retrieval, SIGIR 2016