CMS Collaboration


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

Nuclear Physics A, cilt.967, ss.965-982, 2017 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Özet
  • Cilt numarası: 967
  • Basım Tarihi: 2017
  • Doi Numarası: 10.1016/s0375-9474(17)30377-9
  • Dergi Adı: Nuclear Physics A
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.965-982
  • Yıldız Teknik Üniversitesi Adresli: Evet

Özet

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.