List of works - Ursula Martin

A Hoare logic for linear systems

A general framework for sound and complete Floyd-Hoare logics

article by Rob Arthan et al published 1 October 2009 in ACM Transactions on Computational Logic

A geometrical approach to multiset orderings

A note on division orderings on strings

ADA Lovelace Computer Scientist

Algebra and automated deduction

scholarly article by Steve Linton et al published 1996 in Lecture Notes in Computer Science

Almost all $p$-groups have automorphism group a $p$-group

article by Ursula Martin published 1 July 1986 in Bulletin of the American Mathematical Society

Applications of real number theorem proving in PVS

Argumentation Theory for Mathematical Argument

scientific article published in 2019

Automating the Knuth Bendix ordering

Computational logic and the social

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS

scholarly article by Andrew Adams et al published 2001 in Lecture Notes in Computer Science

Computers, Reasoning and Mathematical Practice

Design Verification for Control Engineering

Explanation in mathematical conversations: an empirical investigation

scientific article published on 01 March 2019

Extension functions for multiset orderings

Formal methods for extensions to CAS

Gender differences and performance in science

scientific article

Hardy, Littlewood and polymath

Hidden verification for computational mathematics

Invariants, Patterns and Weights for Ordering Terms

Lightweight formal methods for computer algebra systems

scholarly article published 1998

Linear interpretations by counting patterns

Mathematical Practice, Crowdsourcing, and Social Machines

New Directions for Syntactic Termination Orderings

Panelist position statement: logic and models in computer science

scientific article published in October 2005

Slightly dirty maths: The richly textured mechanisms of impact

Some experiments with a completion theorem prover

Stumbling Around in the Dark: Lessons from Everyday Mathematics

The Classification of Polynomial Orderings on Monadic Terms

The automorphism group of a finite p-group is almost always a p-group

article by Geir T. Helleloid & Ursula Martin published June 2007 in Journal of Algebra

The early mathematical education of Ada Lovelace

Theorem proving with group presentations: Examples and questions

Unification in Boolean rings

article published in 1988

Using crowdsourced mathematics to understand mathematical practice

scientific article published in 2020

VSDITLU: A Verifiable Symbolic Definite Integral Table Look-Up

article by A. A. Adams et al published 1999 in Lecture Notes in Computer Science

List of works by Ursula Martin