Gauthier, T., Kaliszyk, C., Urban, J.
GAUTHIER, T., C. KALISZYK, and J. URBAN. Initial experiments with statistical conjecturing over large formal corpora. In: KOHLHASE, A., et al., eds. CEUR Workshop Proceedings. Intelligent Computer Mathematics - 9th International Conference, Bialystok, 2016-07-25/2016-07-29. Aachen: CEUR Workshop Proceedings, 2017. p. 219-228. CEUR Workshop Proceedings. vol. 1785. ISSN 1613-0073.