Modelling the way mathematics is actually done
FARM@ICFP, pp. 10-19, 2017.
Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws on contemporary argumentation theory and classic AI techniques for representing and qu...More
Full Text (Upload PDF)
PPT (Upload PPT)