Novotná, J.; Kozánek Kiss, T.; Michal, J.; Vankúš, P. Comparison of Different Types of Reasoning & Proof Present in Solved Tasks from Geometry in Slovak and Czech Mathematics Textbooks for Lower Secondary School. AUPC 2023, 15, 49-67.