19 citations · 37 across the 5 of their papers we have counts for
6 papers
Leiden Declaration on Artificial Intelligence and Mathematics
Jarod Alper, Michael Barany, Alain Chavarri Villarello +13
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. Technological developments have repeatedly tran…
Argumentation theory for mathematical argument
Joseph Corneli, Ursula Martin, Dave Murray-Rust +2
To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences…
What does mathoverflow tell us about the production of mathematics?
Ursula Martin, Alison Pease
The highest level of mathematics research is traditionally seen as a solitary activity. Yet new innovations by mathematicians themselves are starting to harness the power of social…
Mathematical practice, crowdsourcing, and social machines
Ursula Martin, Alison Pease
The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remark…
A General Framework for Sound and Complete Floyd-Hoare Logics
Rob Arthan, Ursula Martin, Erik A. Mathiesen +1
This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced…
The Automorphism Group of a Finite p-Group is Almost Always a p-Group
Geir T. Helleloid, Ursula Martin
Many common finite p-groups admit automorphisms of order coprime to p, and when p is odd, it is reasonably difficult to find finite p-groups whose automorphism group is a p-group.…