Ursula Martin Webb

Available identifiers

zbMath Open martin.ursulaWikidataQ14010 ScholiaQ14010MaRDI QIDQ1169557

List of research outcomes

Publication	Date of Publication	Type
Linear interpretations by counting patterns	2022-12-09	Paper
Explanation in mathematical conversations: an empirical investigation	2019-12-05	Paper
Theorem proving with group presentations: Examples and questions	2019-01-15	Paper
Algebra and automated deduction	2019-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4608701	2018-03-22	Paper
The early mathematical education of Ada Lovelace	2017-11-02	Paper
The Lovelace-De Morgan mathematical correspondence: a critical re-appraisal	2017-09-08	Paper
Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues	2017-07-21	Paper
Computational logic and the social	2016-07-07	Paper
Stumbling Around in the Dark: Lessons from Everyday Mathematics	2015-12-02	Paper
A general framework for sound and complete Floyd-Hoare logics	2015-09-17	Paper
A Hoare logic for linear systems	2014-11-11	Paper
Applications of real number theorem proving in PVS	2014-11-10	Paper
Mathematical Practice, Crowdsourcing, and Social Machines	2013-08-09	Paper
Hoare Logic in the Abstract	2009-03-12	Paper
Panelist position statement: logic and models in computer science	2009-01-20	Paper
Hidden verification for computational mathematics	2007-10-19	Paper
The automorphism group of a finite \(p\)-group is almost always a \(p\)-group.	2007-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4417982	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4790649	2003-02-04	Paper
The classification of polynomial orderings on monadic terms	2001-08-26	Paper
Invariants, patterns and weights for ordering terms	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4263160	2000-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4263839	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4225065	1999-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q4232479	1999-03-15	Paper
The order types of termination orderings on monadic terms, strings and multisets	1997-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4846998	1995-09-10	Paper
Some experiments with a completion theorem prover	1992-06-28	Paper
Automating the Knuth Bendix ordering	1990-01-01	Paper
A note on division orderings on strings	1990-01-01	Paper
A geometrical approach to multiset orderings	1989-01-01	Paper
Boolean unification - the story so far	1989-01-01	Paper
Unification in Boolean rings	1988-01-01	Paper
Extension functions for multiset orderings	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3779786	1987-01-01	Paper
Almost all 𝑝-groups have automorphism group a 𝑝-group	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786022	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3218155	1985-01-01	Paper
The Schur Multiplier of a Nilpotent Group	1985-01-01	Paper
The number of stem covers of an elementary Abelian p-group	1983-01-01	Paper
An independence result for group automorphisms	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ursula Martin Webb