Bridging Verbal Geometry Problems and Formal Proofs: A GeoGebra-Supported Element–Relation Detection Framework. OLER [Internet]. 2026 Mar. 30 [cited 2026 Oct. 24];6(1):227-43. Available from: https://journal.foundae.com/index.php/oler/article/view/1225