Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Lecture Notes in Computer Science, 2017)

(untitled) - Corneli, J; Martin, U; Murray-Rust, D; Pease, A