papers
Publications (5)
math.GR2006
The Automorphism Group of a Finite p-Group is Almost Always a p-Group
Geir T. Helleloid, Ursula Martin
cs.LO2008
A General Framework for Sound and Complete Floyd-Hoare Logics
Rob Arthan, Ursula Martin, Erik A. Mathiesen +1
cs.SI2013
Mathematical practice, crowdsourcing, and social machines
Ursula Martin, Alison Pease
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