Initial experiments with statistical conjecturing over large formal corpora

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.