The following pages link to Alison Pease (Q2364669):
Displaying 6 items.
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Q2364670) (← links)
- Automating change of representation for proofs in discrete mathematics (extended version) (Q2364883) (← links)
- Mathematical Practice, Crowdsourcing, and Social Machines (Q2843008) (← links)
- (Q2848060) (← links)
- (Q3105663) (← links)
- Explanation in mathematical conversations: an empirical investigation (Q5204808) (← links)
