Automated Generation of Triangle Geometry Theorems
arXiv:2110.09511
Abstract
In this article, we introduce an algorithm for automatic generation and categorization of triangle geometry theorems.
arXiv commentImproved version
arXiv:2110.09511
In this article, we introduce an algorithm for automatic generation and categorization of triangle geometry theorems.
arXiv commentImproved version