A System That Supports Learners’ Strategic Thinking for Solving Highschool Mathematics Problems. ICCE 2022, 1-10.