Meredith Pearce, Jonathan McKinney, Chris Alvin. Query-Based Generation of Trigonometric Identity Problems and Solutions. In Roman Barták, Eric Bell, editors, Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. pages 445-450, AAAI Press, 2020. [doi]
Abstract is missing.