Computational logic and the social by Martin, U

Close Observation And Description by Martin, U

Ada Lovelace, computer scientist by Martin, U

Ada Lovelace, mathematician by Martin, U

Thinking saltmarshes by Martin, U

Stumbling around in the dark: lessons from everyday mathematics by Martin, U

Mathematical Practice‚ Crowdsourcing‚ and Social Machines by Martin, U, Pease, A

Slightly dirty maths: the richly textured mechanisms of impact by Meagher, L, Martin, U

Hardy, Littlewood and polymath by Martin, U, Pease, A

Differences in clinic and ambulatory measurements of blood pressure. by Mcmanus, R, Martin, U

The automorphism group of a finite p−group is almost always a p−group by Helleloid, G, Martin, U

Mathematical practice, crowdsourcing, and social machines by Martin, U, Pease, A

What does mathoverflow tell us about the production of mathematics? by Martin, U, Pease, A

Hidden verification for computational mathematics by Gottliebsen, H, Kelsey, T, Martin, U

Differences in clinic and ambulatory measurements of blood pressure by McManus, R, Martin, U

Explanation in mathematical conversations: an empirical investigation by Pease, A, Aberdein, A, Martin, U

The early mathematical education of Ada Lovelace by Hollings, C, Martin, U, Rice, A

A Hoare logic for linear systems by Arthan, R, Martin, U, Oliva, P

The Lovelace--De Morgan mathematical correspondence: A critical re-appraisal by Hollings, C, Martin, U, Rice, A

Diagnosis and management of resistant hypertension by Sheppard, J, Martin, U, McManus, R