Blake Glueck, Chris Alvin. Synthesis of Limit Problems for Single-Variable Calculus. In Roman Barták, Keith W. Brawner, editors, Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. pages 408-412, AAAI Press, 2019. [doi]
Abstract is missing.