Alison Pease

Available identifiers

zbMath Open pease.alisonWikidataQ102404735 ScholiaQ102404735MaRDI QIDQ2364669

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2848060	2013-09-25	Paper
Mathematical Practice, Crowdsourcing, and Social Machines	2013-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q3105663	2012-01-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alison Pease