Alison Pease

Available identifiers

Publication	Date of Publication	Type
Hardy, Littlewood and \textit{polymath}	2024-09-06	Paper
Explanation in mathematical conversations: an empirical investigation	2019-12-05	Paper
Automating change of representation for proofs in discrete mathematics (extended version)	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	2015-11-20	Paper
The TM system for repairing non-theorems	2013-09-25	Paper
Mathematical Practice, Crowdsourcing, and Social Machines	2013-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q3105663	2012-01-05	Paper

This page was built for person: Alison Pease