**Beyond Inference**: in collaboration with IMKT, the University of Waterloo (Stephen Watt) and the University of Pittsburgh (Tom Hales), we look at the variety of ways which mathematical statements are used, in particular in contexts other than proof, focussing on Tom Hales’s development of “formalised abstracts” as a bridge between formal and informal mathematics.**Towards impact**: in collaboration with Elsevier and major museums, looks at the impact and cultural capital of foundational research, building on a major study of historical archive material in the twentieth century history of computing. A particular interest is the history and contribution of women in computing.

**Affiliated researchers**

- Andrew Aberdein, Florida Institute of Technology

- Michael Barany, Edinburgh STIS

- Christopher Hollings, Oxford

- Lorenzo Lane

- Laura Meagher, Technology Development Group

- Dave Murray-Rust, Edinburgh College of Art

- Gabriela Nesin, Brighton

- Alison Pease, Dundee

- Adrian Rice, Ralph Macon University

- Fenner Tanswell, Loughborough

- Bodleian Libraries, University of Oxford
- Computer History Museum, Mountain View
- Elsevier
- International Mathematical Knowledge Trust
- Mathematical Institute, University of Oxford
- Queen Mary University of London
- Science Museum Group
- University of Pittsburgh
- University of Waterloo

- Big Proof Newton/ICMS Workshop, International Centre for Mathematical Sciences, Edinburgh, 27th-31st May, 2019
- Mathematical Collaboration Workshop II, University of St Andrews, 7th & 8th April, 2018
- Enabling Mathematical Cultures, University of Oxford, 5th-7th December, 2017
- Big Proof, Isaac Newton Institute, Cambridge, 26th June 2017 to 4th August 2017
- Group Knowledge and Mathematical Collaboration, University of Oxford, 8th & 9th April 2017

- Corneli, Joseph, Martin, Ursula, Murray-Rust, Dave, Nesin, Gabriela, and Pease, Alison 2018 Argumentation theory for mathematical argument, Argumentation (under review)
- Pease, Alison, Corneli, Joseph et al, 2017 Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation Artificial Intelligence 246, 181–219
- Corneli, Joseph, Martin, Ursula, Murray-Rust, Dave and Pease, Alison, 2017 Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues, in Intelligent Computer Mathematics, 10th International Conference, Edinburgh, UK
- Corneli, Joseph; Martin, Ursula; Murray-Rust, Dave; Pease, Alison; Puzio, Raymond; Nesin, Gabriela Rino, Modelling the way mathematics is actually done, FARM 2017 - Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, co-located with ICFP 2017
- Martin, Ursula 2016 Computational logic and the social Journal of Logic and Computation, 26, 467-477
- Martin, Ursula and Pease, Alison 2015 Stumbling around in the dark: lessons from everyday mathematics Springer LNCS, 9195, 29 - 51 (invited plenary for 25 years of CADE)
- Martin, Ursula and Pease, Alison 2015, Hardy, Littlewood and Polymath in Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics, ed Ernest Davis, Philip J. Davis, Springer
- Martin, Ursula and Pease, Alison 2013 What does mathoverflow tell us about the production of mathematics? SOHUMAN workshop at CHI 2013, Paris
- Martin, Ursula and Pease, Alison 2013 Mathematical practice, crowdsourcing, and social machines International Conference on Intelligent Computer Mathematics, Springer 7961, 98-119 (invited plenary)
- Martin, Ursula and Pease, Alison 2012 Seventy four minutes of mathematics: An analysis of the third Mini-Polymath project Proceedings of AISB/IACAP 2012, 52-105

- Tanswell, Fenner 2017 Conceptual engineering for mathematical concepts Inquiry, an interdisciplinary journal of philosophy, online first October 2017
- Tanswell, Fenner 2015 A Problem with the Dependence of Informal Proofs on Formal Proofs Philosophia Mathematica 23, 295-310
- Aberdein, Andrew, Martin, Ursula and Pease, Alison, 2018, An empirical investigation into explanation in mathematical conversations, to appear, Royal Society Philosophical Transactions A

- Lorenzo Lane, Ursula Martin,
Dave Murray-Rust,
Alison Pease,
and Fenner Tanswell, 2019, Journeys in mathematical landscapes: genius or craft?
,
*to appear*in Proof Technology in Mathematics Research and Teaching,*in*Springer book series Mathematics education in the digital era, edited Gila Hanna - Lane, Lorenzo and Martin, Ursula 2015 Collaboration at the Isaac Newton Institute Report for the Isaac Newton Institute
- Lane, Lorenzo 2017 Fixed performances in fluid publics: How mathematicians manage their image in a digital age, 5th Innovation in Information Infrastructures (III) Workshop
- Lane, Lorenzo 2017, Bridge between worlds: relating position and disposition in the mathematical field, PhD thesis, University of Edinburgh

- Meagher, Laura R. and Martin, Ursula, 2017 Slightly dirty maths: The richly textured mechanisms of impact Research Evaluation 26: 15-27
- Popular accounts appeared in Times Higher, London Mathematical Society Newsletter, and Mathematics Today magazine, and the work was cited in a number of submissions to the 2017 HEFCE consultation on the REF.

- Ada Lovelace, the Making of a Computer Scientist published April 2018, first popular account of the scientific and mathematical education of Ada Lovelace, often called the first computer programmer. News+updates on twitter @UHMMOxford.
- Hollings, Christopher, Martin, Ursula and Rice, Adrian 2017 The early mathematical education of Ada Lovelace BSHM Bulletin: Journal of the British Society for the History of Mathematics 32, 221-234
- Hollings, Christopher, Martin, Ursula and Rice, Adrian 2017 The Lovelace–De Morgan mathematical correspondence: A critical re-appraisal Historia Mathematica 44, 202-231
- Digitisation of the mathematical corespondence of Ada Lovelace
- Popular accounts have appeared in London Review of Books, BBC Oxford, EPSRC Blog, EDGE 2017 questions, London Mathematical Society Newsletter, Mathematics Today magazine, CORE magazine (Computer History Museum)

- Gottliebsen, Hanne, Hardy, Ruth, Lightfoot Olga and Martin, Ursula 2013 Applications of real number theorem proving in PVS, Formal Aspects of Computing, 25, 993-1016
- Gottliebsen, Hanne, Kelsey, Tom and Martin, Ursula 2005 Hidden verification for computational mathematics, Journal of Symbolic Computation, 39, 539-567
- Dunstan, Martin, Kelsey, Tom, Martin, Ursula and Linton, Steve 1998 Lightweight formal methods for computer algebra, ACM Proceedings on Symbolic and Algebraic Computation, 1998, 80-87

*EPSRC EP/R03169X/1/
(2018-2021), is an extension of the Established Career Fellowship
‘MathSoMac: the social machine of mathematics’ (2014-2018),
EPSRC EP/K040251/2.*