@inproceedings{corneli2017math,
title={math.wikipedia.org: A vision for a collaborative, semi-formal, language independent math(s) encyclopedia},
author={Joseph Corneli and Moritz Schubotz},
booktitle={2nd Conference on Artificial Intelligence and Theorem Proving (March 26–30, 2017, Obergurgl, Austria)},
editor={Thomas C. Hales and Cezary Kaliszyk and Stephan Schulz and Josef Urban},
year={2017},
url={http://metameso.org/~joe/papers/corneli2017math.pdf}}