A Framework for Symbolic Programming in Mathematical Problem Solving.

Artem Marushchak, Elvira Dzhumelia

Browse the full CSIT paper archive.