1. Apache Drill - Schema-free SQL Query Engine for Hadoop, NoSQL and Cloud Storage. https://drill.apache.org. Accessed 03 Feb 2020
2. Aizawa, A., et al.: NTCIR-12 MathIR task overview. In: Kando, N., Sakai, T., Sanderson, M. (ed.) Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies, Tokyo, Japan: NII, Tokyo, pp. 299–308 (2016). https://tinyurl.com/sofcxjs
3. Berčič, K., Kohlhase, M., Rabe, F.: Towards a Heterogeneous Query Language for Mathematical Knowledge - Extended Report (2020). http://kwarc.info/kohlhase/papers/tetrasearch.pdf. Accessed 27 Mar 2020
4. Carette, J., et al.: Big math and the one-brain barrier - the tetrapod model of mathematical knowledge. In: Mathematical Intelligencer (2020, in press). https://arxiv.org/abs/1904.10405
5. Carette, J., et al.: The space of mathematical software systems - a survey of paradigmatic systems. preprint; http://arxiv.org/abs/2002.04955 (2020)