A Framework for Symbolic Programming in Mathematical Problem Solving. - Artem Marushchak; Elvira Dzhumelia (CSIT, 2024)