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]
@article{BrownKRVV22, title = {Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?}, author = {Christopher W. Brown and Zoltán Kovács and Tomás Recio and Róbert Vajda and M. Pilar Vélez}, year = {2022}, doi = {10.1007/s11786-022-00532-9}, url = {https://doi.org/10.1007/s11786-022-00532-9}, researchr = {https://researchr.org/publication/BrownKRVV22}, cites = {0}, citedby = {0}, journal = {Mathematics in Computer Science}, volume = {16}, number = {4}, pages = {31}, }