Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez. Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?. Mathematics in Computer Science, 16(4):31, 2022. [doi]
Abstract is missing.