Ursula Martin
Ursula Martin
University of Edinburgh; University of Oxford
Bestätigte E-Mail-Adresse bei maths.ox.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
An ACM-W literature review on women in computing
D Gürer, T Camp
ACM SIGCSE Bulletin 34 (2), 121-127, 2002
2702002
Ordered rewriting and confluence
U Martin, T Nipkow
International Conference on Automated Deduction, 366-380, 1990
871990
Automating the knuth bendix ordering
J Dick, J Kalmus, U Martin
Acta Informatica 28 (2), 95-119, 1990
691990
Computer algebra meets automated theorem proving: Integrating Maple and PVS
A Adams, M Dunstan, H Gottliebsen, T Kelsey, U Martin, S Owre
International Conference on Theorem Proving in Higher Order Logics, 27-42, 2001
632001
Women in computing
D Gürer, J Light, C Björkman, R Davies, M Hancock, A Condon, A Craig, ...
Wiley Encyclopedia of Computer Science and Engineering, 3099-3122, 2007
552007
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
521989
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
471999
How to choose the weights in the Knuth Bendix ordering
U Martin
International Conference on Rewriting Techniques and Applications, 42-53, 1987
461987
A geometrical approach to multiset orderings
U Martin
Theoretical Computer Science 67 (1), 37-54, 1989
371989
Almost all 𝑝-groups have automorphism group a 𝑝-group
U Martin
Bulletin of the American Mathematical Society 15 (1), 78-82, 1986
361986
Unification in boolean rings
U Martin, T Nipkow
International Conference on Automated Deduction, 506-513, 1986
341986
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
331998
Unification in Boolean rings
U Martin, T Nipkow
Journal of Automated Reasoning 4 (4), 381-396, 1988
321988
Mathematical practice, crowdsourcing, and social machines
U Martin, A Pease
International Conference on Intelligent Computer Mathematics, 98-119, 2013
302013
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
302007
Seventy four minutes of mathematics: An analysis of the third Mini-Polymath project
A Pease, U Martin
Proceedings of AISB/IACAP, 2012
292012
The occurrence of groups as automorphisms of nilpotentp-groups
UHM Webb
Archiv der Mathematik 37 (1), 481-498, 1981
261981
VSDITLU: a verifiable symbolic definite integral table look-up
AA Adams, H Gottliebsen, SA Linton, U Martin
International Conference on Automated Deduction, 112-126, 1999
231999
Computers, reasoning and mathematical practice
U Martin
Computational Logic, 301-346, 1999
231999
Slightly dirty maths: The richly textured mechanisms of impact
LR Meagher, U Martin
Research Evaluation 26 (1), 15-27, 2017
212017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20