Folgen
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
Boolean unification-the story so far
U Martin, T Nipkow
Journal of Symbolic Computation 7 (3-4), 275-293, 1989
1431989
Ordered rewriting and confluence
U Martin, T Nipkow
10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990
1041990
Automating the knuth bendix ordering
J Dick, J Kalmus, U Martin
Acta Informatica 28 (2), 95-119, 1990
751990
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
642001
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
551989
Gender differences and performance in science
CB Muller, SM Ride, J Fouke, T Whitney, DD Denton, N Cantor, ...
Science 307 (5712), 1043-1043, 2005
532005
How to choose the weights in the Knuth Bendix ordering
U Martin
International Conference on Rewriting Techniques and Applications, 42-53, 1987
471987
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
451999
Mathematical practice, crowdsourcing, and social machines
U Martin, A Pease
International Conference on Intelligent Computer Mathematics, 98-119, 2013
412013
A geometrical approach to multiset orderings
U Martin
Theoretical Computer Science 67 (1), 37-54, 1989
391989
Ada Lovelace: The making of a computer scientist
C Hollings, U Martin, AC Rice
Bodleian Library, 2018
382018
Almost all -groups have automorphism group a -group
U Martin
381986
Unification in boolean rings
U Martin, T Nipkow
8th International Conference on Automated Deduction: Oxford, England, July …, 1986
381986
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
371998
Slightly dirty maths: The richly textured mechanisms of impact
LR Meagher, U Martin
Research Evaluation 26 (1), 15-27, 2017
362017
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
362012
Unification in Boolean rings
U Martin, T Nipkow
Journal of Automated Reasoning 4, 381-396, 1988
351988
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
332007
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
262017
Computers, reasoning and mathematical practice
U Martin
Computational Logic: Proceedings of the NATO Advanced Study Institute on …, 1999
261999
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20