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 journalArticle

  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. Pharmacodynamic response to anti-thyroid drugs in Graves’ hyperthyroidism

    Abbara, A., Clarke, S., Brewster, R., Simmonard, A., Eng, P. C., Phylactou, M., Papadopoulou, D., Izzi-Engbeaya, C., Sam, A., Jonauskyte, E., Comninos, A., Meeran, K., Kelsey, T. & Dhillo, W., 12 May 2020, In : Frontiers in Endocrinology. 11, 11 p., 286.

    Research output: Contribution to journalArticle

  5. A controlled pilot trial of a nurse-led intervention (Mini-AFTERc) to manage fear of cancer recurrence in patients affected by breast cancer

    McHale, C. T., Cruickshank, S., Torrens, C., Armes, J., Fenlon, D., Banks, E., Kelsey, T. & Humphris, G. M., 7 May 2020, In : Pilot and Feasibility Studies. 6, 10 p., 60.

    Research output: Contribution to journalArticle

ID: 1729785

Top