CMS Collaboration


Sirunyan A., Tumasyan A., Adam W., Asilar E., Bergauer T., Brandstetter J., ...More

Nuclear Physics A, vol.967, pp.965-982, 2017 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Abstract
  • Volume: 967
  • Publication Date: 2017
  • Doi Number: 10.1016/s0375-9474(17)30377-9
  • Journal Name: Nuclear Physics A
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.965-982
  • Yıldız Technical University Affiliated: Yes

Abstract

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.