Skip to content

Research at St Andrews

Lightweight Formal Methods for Computer Algebra Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Ursula Hilda Mary Martin, MN Dunstan, Thomas William Kelsey, Stephen Alexander Linton

School/Research organisations

Details

Original languageEnglish
Title of host publicationProceedings of the International Symposium on Symbolic and Algebraic Computation
PublisherACM
Pages80-87
Number of pages8
Publication statusPublished - 1998

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Towards the calculation of Casimir forces for inhomogeneous planar media

    Xiong, C., Kelsey, T., Linton, S. A. & Leonhardt, U., 1 Oct 2014, Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks. Feng, R., Lee, W. & Sato, Y. (eds.). Springer, p. 171-180

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Qualitative modelling via constraint programming

    Kelsey, T., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. & Gent, I. P., Apr 2014, In: Constraints. 19, 2, p. 163-173

    Research output: Contribution to journalArticlepeer-review

  3. Casimir forces for inhomogeneous planar media

    Xiong, C., Kelsey, T., Linton, S. A. & Leonhardt, U., 25 Jan 2013, Journal of Physics: Conference Series. 1 ed. Vol. 401. 6 p. (Journal of Physics: Conference Series; vol. 410, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Polynomial-time proofs that groups are hyperbolic

    Holt, D., Linton, S., Neunhoeffer, M., Parker, R., Pfeiffer, M. & Roney-Dougal, C. M., May 2021, In: Journal of Symbolic Computation. 104, p. 419-475

    Research output: Contribution to journalArticlepeer-review

  5. Performance of plasma kisspeptin as a biomarker for miscarriage improves with gestation during the first trimester

    Phylactou, M., Abbara, A., Al-Memar, M., Kyriacou, C., Eng, P. C., Nadir, R., Izzi-Engbeaya, C., Clarke, S. A., Mills, E. G., Daniels, E., Huo, L., Pacuszka, E., Yang, L., Patel, B., Tan, T., Bech, P., Comninos, A. N., Fourie, H., Kelsey, T., Bourne, T. & 1 others, Dhillo, W. S., 20 Apr 2021.

    Research output: Contribution to conferenceAbstractpeer-review

ID: 1729785

Top