Artykuły udostępnione publicznie: - Ursula MartinWięcej informacji
Niedostępne w żadnym miejscu: 2
Stumbling around in the dark: lessons from everyday mathematics
U Martin
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
Upoważnienia: UK Engineering and Physical Sciences Research Council
Hardy, Littlewood and polymath
U Martin, A Pease
Mathematics, Substance and Surmise: Views on the Meaning and Ontology of …, 2015
Upoważnienia: UK Engineering and Physical Sciences Research Council
Dostępne w jakimś miejscu: 12
Mathematical practice, crowdsourcing, and social machines
U Martin, A Pease
International Conference on Intelligent Computer Mathematics, 98-119, 2013
Upoważnienia: UK Engineering and Physical Sciences Research Council
Slightly dirty maths: The richly textured mechanisms of impact
LR Meagher, U Martin
Research Evaluation 26 (1), 15-27, 2017
Upoważnienia: UK Engineering and Physical Sciences Research Council
The early mathematical education of Ada Lovelace
C Hollings, U Martin, A Rice
BSHM Bulletin: Journal of the British Society for the History of Mathematics …, 2017
Upoważnienia: UK Engineering and Physical Sciences Research Council
The Lovelace–De Morgan mathematical correspondence: A critical re-appraisal
C Hollings, U Martin, A Rice
Historia Mathematica 44 (3), 202-231, 2017
Upoważnienia: UK Engineering and Physical Sciences Research Council
Explanation in mathematical conversations: An empirical investigation
A Pease, A Aberdein, U Martin
Philosophical Transactions of the Royal Society A 377 (2140), 20180159, 2019
Upoważnienia: UK Engineering and Physical Sciences Research Council
Argumentation theory for mathematical argument
J Corneli, U Martin, D Murray-Rust, G Rino Nesin, A Pease
Argumentation 33 (2), 173-214, 2019
Upoważnienia: UK Engineering and Physical Sciences Research Council
Using crowdsourced mathematics to understand mathematical practice
A Pease, U Martin, FS Tanswell, A Aberdein
ZDM 52 (6), 1087-1098, 2020
Upoważnienia: UK Engineering and Physical Sciences Research Council
Modelling the way mathematics is actually done
J Corneli, U Martin, D Murray-Rust, A Pease, R Puzio, G Rino Nesin
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art …, 2017
Upoważnienia: UK Engineering and Physical Sciences Research Council
Journeys in mathematical landscapes: genius or craft?
L Lane, U Martin, D Murray-Rust, A Pease, F Tanswell
Proof technology in mathematics research and teaching, 197-212, 2019
Upoważnienia: UK Engineering and Physical Sciences Research Council
Enabling mathematical cultures: introduction
B Löwe, U Martin, A Pease
Synthese, 1-7, 2021
Upoważnienia: UK Engineering and Physical Sciences Research Council
Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
J Corneli, U Martin, D Murray-Rust, A Pease
Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017
Upoważnienia: UK Engineering and Physical Sciences Research Council
Automating" human-like" example-use in mathematics
A Pease, U Martin
CEUR Workshop Proceedings 2261, 6-15, 2018
Upoważnienia: UK Engineering and Physical Sciences Research Council
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy