2022

1. Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?

   Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning (Springer Suiza), pp. 23-44