Ursula Martin

Cited by

	All	Since 2019
Citations	1551	386
h-index	23	10
i10-index	40	11

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 7 12 13 27 23 27 37 38 31 39 42 42 28 57 51 48 40 21 38 40 68 30 28 23 27 40 39 52 21 37 56 45 74 84 55 58 76 36

Public access

View all

12 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Alison PeaseUniversity of DundeeVerified email at dundee.ac.uk
Tom KelseyProfessor of Health Data Science, University of St AndrewsVerified email at st-andrews.ac.uk
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Martin DunstanUniversity of DundeeVerified email at dundee.ac.uk
Steve LintonProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Dr Andrew A. AdamsDeputy Director of the Centre for Business Information Ethics, Meiji University, Tokyo, JapanVerified email at meiji.ac.jp
Paulo OlivaQueen Mary University of LondonVerified email at qmul.ac.uk
Joseph CorneliHyperreal Enterprises, Ltd.Verified email at hyperreal.enterprises
Sam OwreSRI InternationalVerified email at sri.com
Dave CohenProfessor of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Tim StorerSenior Lecturer in Software Engineering, School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Tracy CampDepartment Head and Professor of Computer Science, Colorado School of MinesVerified email at mines.edu
Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamVerified email at cs.bham.ac.uk

Ursula Martin

University of Edinburgh; University of Oxford

Verified email at maths.ox.ac.uk - Homepage

history of science logic algebra


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Boolean unification-the story so far U Martin, T Nipkow Journal of Symbolic Computation 7 (3-4), 275-293, 1989	144	1989
Ordered rewriting and confluence U Martin, T Nipkow 10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990	109	1990
Automating the knuth bendix ordering J Dick, J Kalmus, U Martin Acta Informatica 28 (2), 95-119, 1990	76	1990
Computer algebra meets automated theorem proving: Integrating Maple and PVS A Adams, M Dunstan, H Gottliebsen, T Kelsey, U Martin, S Owre Theorem Proving in Higher Order Logics: 14th International Conference …, 2001	66	2001
A ProCoS project description D Bjørner, CAR Hoare, JP Bowen, J He, H Langmaack, ER Olderog, ... Bulletin of the European Association for Theoretical Computer Science (EATCS …, 1989	59	1989
Gender differences and performance in science CB Muller, SM Ride, J Fouke, T Whitney, DD Denton, N Cantor, ... Science 307 (5712), 1043-1043, 2005	54	2005
How to choose the weights in the Knuth Bendix ordering U Martin International Conference on Rewriting Techniques and Applications, 42-53, 1987	48	1987
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study AA Adams, H Gottliebsen, SA Linton, U Martin Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999	45	1999
Ada Lovelace: The making of a computer scientist C Hollings, U Martin, AC Rice Bodleian Library, 2018	44	2018
Mathematical practice, crowdsourcing, and social machines U Martin, A Pease International Conference on Intelligent Computer Mathematics, 98-119, 2013	41	2013
A geometrical approach to multiset orderings U Martin Theoretical Computer Science 67 (1), 37-54, 1989	39	1989
Unification in boolean rings U Martin, T Nipkow 8th International Conference on Automated Deduction: Oxford, England, July …, 1986	39	1986
Slightly dirty maths: The richly textured mechanisms of impact LR Meagher, U Martin Research Evaluation 26 (1), 15-27, 2017	38	2017
Almost all -groups have automorphism group a -group U Martin	38	1986
Lightweight formal methods for computer algebra systems M Dunstan, T Kelsey, S Linton, U Martin Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998	36	1998
Seventy four minutes of mathematics: An analysis of the third Mini-Polymath project A Pease, U Martin Proceedings of AISB/IACAP 2012, Symposium on Mathematical Practice and …, 2012	35	2012
Unification in Boolean rings U Martin, T Nipkow Journal of Automated Reasoning 4, 381-396, 1988	34	1988
The automorphism group of a finite p-group is almost always a p-group GT Helleloid, U Martin Journal of Algebra 312 (1), 294-329, 2007	33	2007
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	29	2017
The occurrence of groups as automorphisms of nilpotentp-groups UHM Webb Archiv der Mathematik 37, 481-498, 1981	27	1981

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors