Prof Ursula Martin

Honorary Professor

Researcher profile

Email

um@st-andrews.ac.uk

Selected publications

• Open access

  Applications of real number theorem proving in PVS

  Gottliebsen, H., Hardy, R., Lightfoot, O. & Martin, U., Nov 2013, In: Formal Aspects of Computing. 25, 6, p. 993-1016 24 p.

  Research output: Contribution to journal › Article › peer-review

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

  Boulton, RJ., Hardy, R., Martin, U. H. M., Maler, O. (ed.) & Pnueli, A. (ed.), 2003, Springer-Verlag.

  Research output: Other contribution

• Computer algebra meets automated theorem proving: Integrating maple and PVS

  Adams, A., Dunstan, M., Gottliebsen, H., Kelsey, T., Martin, U. & Owre, S., 1 Jan 2001, Theorem Proving in Higher Order Logics - 14th International Conference, TPHOLs 2001, Proceedings. Boulton, R. J. & Jackson, P. B. (eds.). Springer-Verlag, p. 27-42 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2152).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The classification of polynomial orderings on monadic terms

  Cropper, N. & Martin, U., Jul 2001, In: Applicable Algebra in Engineering Communication and Computing. 12, p. 197-226 30 p.

  Research output: Contribution to journal › Article › peer-review

• Invariants, Patterns and Weights for Ordering Terms

  Martin, U. H. M. & Shand, DD., Jun 2000, In: Journal of Symbolic Computation. 29, 6, p. 921-957 37 p.

  Research output: Contribution to journal › Article › peer-review

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

  Adams, AA., Gottliebsen, H., Linton, S. A., Martin, U. H. M. & Dooley, S., 1999, p. 253-260.

  Research output: Contribution to conference › Paper

• VSDITLU: a Verified Symbolic Definite Integral Table Look-up

  Martin, U. H. M., Adams, AA., Gottliebsen, H., Linton, S. A. & 1, O., 1999, p. 112-126.

  Research output: Contribution to conference › Paper

• Lightweight Formal Methods for Computer Algebra Systems

  Martin, U. H. M., Dunstan, MN., Kelsey, T. W. & Linton, S. A., 1998, Proceedings of the International Symposium on Symbolic and Algebraic Computation. ACM, p. 80-87 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• New Directions for Syntactic Termination Orderings

  Martin, U. H. M., 1998, Symbolic rewriting technique . Bronstein, M., Grabmeier, J. & Weispfenning, V. (eds.). Birkhauser, p. 209-224 (Progress in Computer Science and Applied Logic; vol. 15).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Computers, Reasoning and Mathematical Practice

  Martin, U. H. M., 1997.

  Research output: Contribution to conference › Paper

See more publications