papers
Publications (6)
cs.AI2015
Automating change of representation for proofs in discrete mathematics
Daniel Raggi, Alan Bundy, Gudmund Grov +1
cs.SI2013
Mathematical practice, crowdsourcing, and social machines
Ursula Martin, Alison Pease
cs.LO2011
Discovery of Invariants through Automated Theory Formation
Maria Teresa Llano, Andrew Ireland, Alison Pease
cs.HC2019
Is Two Better than One? Effects of Multiple Agents on User Persuasion
Reshmashree B. Kantharaju, Dominic De Franco, Alison Pease +1
cs.CL2018
Argumentation theory for mathematical argument
Joseph Corneli, Ursula Martin, Dave Murray-Rust +2
cs.SI2013
What does mathoverflow tell us about the production of mathematics?
Ursula Martin, Alison Pease