1. Student’s t-test. https://en.wikipedia.org/wiki/Student’s_t-test. Accessed 23 May 2022
2. Biere, A., Schreiner, W., Seidl, M., Windsteiger, W.: Logic for computer science (2020). Course in the first year in the bachelor program for computer science at Johannes Kepler University Linz (JKU), taught since 2013
3. Buchberger, B.: Theorema: a proving system based on Mathematica. Math. J. 8(2), 247–252 (2001)
4. Buchberger, B., et al.: Theorema: towards computer-aided mathematical theory exploration. J. Appl. Log. 4(4), 470–504 (2006). https://doi.org/10.1016/j.jal.2005.10.006
5. Buchberger, B., et al.: The Theorema project: a progress report. In: Kerber, M., Kohlhase, M. (eds.) Symbolic Computation and Automated Reasoning. Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, pp. 98–113. St. Andrews, Scotland, Copyright: A.K. Peters, Natick, Massachusetts (2000)