Nuclear Physics A, vol.967, pp.965-982, 2017 (SCI-Expanded)
In this article, we introduce an algorithm for automatic generation and categorization of triangle geometry theorems. Appendix B contains proofs of all the propositions of this article.