Alison Pease
From MaRDI portal
Person:2364669
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Hardy, Littlewood and \textit{polymath} | 2024-09-06 | Paper |
| Explanation in mathematical conversations: an empirical investigation Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-12-05 | Paper |
| Automating change of representation for proofs in discrete mathematics (extended version) Mathematics in Computer Science | 2017-07-25 | Paper |
| Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues | 2017-07-21 | Paper |
| Automating Change of Representation for Proofs in Discrete Mathematics Lecture Notes in Computer Science | 2015-11-20 | Paper |
| The TM system for repairing non-theorems | 2013-09-25 | Paper |
| Mathematical practice, crowdsourcing, and social machines Lecture Notes in Computer Science | 2013-08-09 | Paper |
| Five theories of reasoning: interconnections and applications to mathematics | 2012-01-05 | Paper |
Research outcomes over time
This page was built for person: Alison Pease
