8BBA5590-D554-48FA-AF0B-CA824C8269A4The Integration and Interaction of Multiple Mathematical Reasoning Processes.Research GrantEP/E005713/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL92215441734E93-1097-4CFD-ADC2-4FCA602602E0Reasoned modelling critics: Turning failed proofs into modelling guidanceScience of Computer Programmingebcd9a7534ff4ffb99b58940a63ff222Ireland A2013-01-01http://dx.doi.org/10.1016/j.scico.2011.03.006http://dx.doi.org/10.1016/j.scico.2011.03.0063Journal Article/Reviewdoi_53d0090094906c40