Prof Ursula Martin

Honorary Professor

Researcher profile

Email
um@st-andrews.ac.uk

 

Selected publications

  • What's the Point of Authors?

    Habgood-Coote, J., Andersen, L. E., Bailey, R., Bhatia, U., Burch-Brown, J., Bright, L. K., Brooke, J., Cameron, P., Campbell-Moore, C., Cornelli, J., Crowley, S., Dang, H., Fraser, R., Falconer, I., Ferner, A., Gamez, M., Gerken, M., Hawley, K., Heyman, M. & Kappel, K. & 21 others, Landes, E., Landemore, H., Loewe, B., Lunt, D., Martin, U., Meyns, C., Millard, L., Mitchell, D., Okasha, S., Peet, A., Pettigrew, R., de Ridder, J., Ross, R., Saint-Germier, P., Simion, M., Skatova, A., Tanswell, F., Whiting, D., Wilson, A., Wray, K. B. & Yesilova, D., 1 Jun 2024, In: British Journal for the Philosophy of Science. 75, 2, p. 487-517 31 p.

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

  • 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, R., Hardy, R., Martin, U. H. M., Maler, O. (Editor) & Pnueli, A. (Editor), 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, D., 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, A., 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, A., 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, M., 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

 

See more publications