Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
Joseph Corneli‚ Ursula Martin‚ Dave Murray−Rust and Alison Pease
Book Title
International Conference on Intelligent Computer Mathematics
Organisation
Springer‚ Cham
Pages
132–146
Year
2017