Learning to Prove Trigonometric Identities

Zhou Liu, Yujun Li, Zhengying Liu +2

Automatic theorem proving with deep learning methods has attracted attentions recently. In this paper, we construct an automatic proof system for trigonometric identities. We defin…