Publication | Closed Access

Defining as a mathematical activity: A framework for characterizing progress from informal to more formal ways of reasoning

ReasoningMathematics EducationCognitive ScienceReasoning SystemAutomated ReasoningModel-based ReasoningReasoning About ActionEducationEpistemologyFormal Mathematical ReasoningSemanticsFormal WaysSocial SciencesMathematical Activity