C9BD1153-717D-44B9-B68D-BE3BB0BE7C10The Integration and Interaction of Multiple Mathematical Reasoning ProcessesResearch GrantEP/N014758/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL1304454737DA905-83D6-4EBB-A360-6B46B30526F7Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoCJournal of Formalized Reasoning12065016aca1fb281515a715e281d215Lin. Y2016-01-01https://jfr.unibo.it/article/view/629892Journal Article/Review58c121e99ce050.47141366