Argumentation theory for mathematical argument
Argumentation, Volume abs/1803.06500, Issue 2, 2019.
Inference Anchoring Theory Mathematical practice Mathematical argument Structured proof
To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematic...More
Full Text (Upload PDF)
PPT (Upload PPT)