Return to Article Details Bridging Verbal Geometry Problems and Formal Proofs: A GeoGebra-Supported Element–Relation Detection Framework Download Download PDF