论文标题
人类和自动化方法的有限三角分支
Human and automated approaches for finite trigonometric sums
论文作者
论文摘要
我们表明，使用Ramanujan的Theta功能理论，Harshitha，Vasuki和Yathirajsharma最近证明了涉及三角分支的身份，或者可以通过适应可以在文献中找到的结果来轻松证明。我们还证明了该论文中给出的两个猜想。在提到了许多其他有关各种三角款项的身份的作品之后，我们通过描述一种自动化的方法来证明这种三角身份，以结束本文。
We show that identities involving trigonometric sums recently proved by Harshitha, Vasuki and Yathirajsharma, using Ramanujan's theory of theta functions, were either already in the literature or can be proved easily by adapting results that can be found in the literature. Also we prove two conjectures given in that paper. After mentioning many other works dealing with identities for various trigonometric sums, we end this paper by describing an automated approach for proving such trigonometric identities.
