Ursula Martin

According to our database, Ursula Martin authored at least 44 papers between 1987 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Enabling mathematical cultures: introduction.

Benedikt Löwe, Ursula Martin, Alison Pease

Synth., 2021

2019

Women in Logic 2018 workshop report.

Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin

ACM SIGLOG News, 2019

2018

Argumentation theory for mathematical argument.

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin, Alison Pease

CoRR, 2018

Automating "Human-Like" Example-Use in Mathematics.

Alison Pease, Ursula Martin

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018

2017

Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues.

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Modelling the way mathematics is actually done.

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin

Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, 2017

2016

Computational logic and the social.

Ursula Martin

J. Log. Comput., 2016

2015

Stumbling Around in the Dark: Lessons from Everyday Mathematics.

Ursula Martin

Proceedings of the Automated Deduction - CADE-25, 2015

Ada Lovelace, a scientist in the archives.

Søren Riis, Ursula Martin, Nick Woodhouse

Proceedings of the Ada Lovelace Symposium 2015, 2015

2013

Applications of real number theorem proving in PVS.

Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin

Formal Aspects Comput., 2013

A Hoare logic for linear systems.

Rob Arthan, Ursula Martin, Paulo Oliva

Formal Aspects Comput., 2013

What does mathoverflow tell us about the production of mathematics?

Ursula Martin, Alison Pease

CoRR, 2013

Mathematical Practice, Crowdsourcing, and Social Machines.

Ursula Martin, Alison Pease

Proceedings of the Intelligent Computer Mathematics, 2013

2009

A general framework for sound and complete Floyd-Hoare logics.

Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva

ACM Trans. Comput. Log., 2009

2008

Women in Computing.

Denise W. Gürer, Jennifer Light, Christina Björkman, Rhian Davies, Mark S. Hancock, Anne Condon, Annemieke Craig, Vashti Galpin, Ursula Martin, Margit Pohl, Sylvia Wiltner, M. Suriya, Ellen Spertus, Joanne McGrath Cohoon, Gloria Childress Townsend, Paula Gabbert

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2006

Hoare Logic in the Abstract.

Ursula Martin, Erik Arne Mathiesen, Paulo Oliva

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

Hidden verification for computational mathematics.

Hanne Gottliebsen, Tom W. Kelsey, Ursula Martin

J. Symb. Comput., 2005

2004

Design Verification for Control Engineering.

Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.

Richard J. Boulton, Ruth Hardy, Ursula Martin

Proceedings of the Hybrid Systems: Computation and Control, 2003

2001

The Classification of Polynomial Orderings on Monadic Terms.

Nick Cropper, Ursula Martin

Appl. Algebra Eng. Commun. Comput., 2001

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.

Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom W. Kelsey, Ursula Martin, Sam Owre

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

Invariants, Patterns and Weights for Ordering Terms.

Ursula Martin, Duncan Shand

J. Symb. Comput., 2000

Workshop: The Role of Automated Deduction in Mathematics.

Simon Colton, Volker Sorge, Ursula Martin

Proceedings of the Automated Deduction, 2000

1999

Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.

Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

Formal Methods for Extensions to CAS.

Martin Dunstan, Tom W. Kelsey, Ursula Martin, Steve Linton

Proceedings of the FM'99 - Formal Methods, 1999

VSDITLU: a verifiable symbolic definite integral table look-up.

Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin

Proceedings of the Automated Deduction, 1999

1998

Lightweight Formal Methods for Computer Algebra Systems.

Martin Dunstan, Tom W. Kelsey, Steve Linton, Ursula Martin

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1997

The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets.

Ursula Martin, Elizabeth Scott

J. Symb. Log., 1997

1996

Theorem Proving with Group Presentations: Examples and Questions.

Ursula Martin

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Algebra and Automated Deduction.

Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

On the Diversity of Orderings on Strings.

Ursula Martin

Fundam. Informaticae, 1995

1994

Verification Techniques for LOTOS.

Ursula Martin, Muffy Thomas

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Termination, Geometry and Invariants.

Ursula Martin

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Linear Interpretations by Counting Patterns.

Ursula Martin

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1992

Some Experiments with a Completion Theorem Prover.

Ursula Martin, Michael Lai

J. Symb. Comput., 1992

1990

A Note on Division Orderings on Strings.

Ursula Martin

Inf. Process. Lett., 1990

Automating the Knuth Bendix Ordering.

Jeremy Dick, John Kalmus, Ursula Martin

Acta Informatica, 1990

Automating Squiggol.

Ursula Martin, Tobias Nipkow

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Ordered Rewriting and Confluence.

Ursula Martin, Tobias Nipkow

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

A Geometrical Approach to Multiset Orderings.

Ursula Martin

Theor. Comput. Sci., 1989

Boolean Unification - The Story So Far.

Ursula Martin, Tobias Nipkow

J. Symb. Comput., 1989

1988

Unification in Boolean Rings.

Ursula Martin, Tobias Nipkow

J. Autom. Reason., 1988

1987

Extension Functions for Multiset Orderings.

Ursula Martin

Inf. Process. Lett., 1987

How to Choose Weights in the Knuth Bendix Ordering.

Ursula Martin

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987