Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Published

    Tractable Symmetry Breaking using Restricted Search Trees

    Roney-Dougal, C. M., Gent, I. P., Kelsey, T. W. & Linton, S. A., Aug 2004, ECAI 2004: 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain. López de Mántaras, R. & Saitta, L. (eds.). IOS Press, p. 211-215 5 p. (Frontiers in artificial intelligence and applications; vol. 110).

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

  2. Published

    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

  3. Published

    Towards high-performance computational algebra with GAP

    Behrends, R., Konovalov, A., Linton, S., Lübeck, F. & Neunhöffer, M., 2010, Proceedings of the Third International Congress on Mathematical Software: Kobe, Japan, September 13-17, 2010. Fukada, K., van der Hoeven, J., Joswig, M. & Takayama, N. (eds.). Springer, p. 58-61 (Lecture Notes in Computer Science; vol. 6327).

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

  4. Published

    The Art and Science of Computing in Large Groups

    Linton, S. A., 1995, Computational Algebra and Number Theory (Sydney, 1992). Kluwer, p. 91-109

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published

    Symmetry and consistency

    Gent, I. P., Kelsey, T., Linton, S. & Roney-Dougal, C., 2005, Principles and Practice of Constraint Programming - CP 2005: Proceedings of the 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. van Beek, P. (ed.). Springer-Verlag, p. 271-285 15 p. (Lecture Notes in Computer Science; vol. 3709).

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

  6. Published

    Symmetry and Search --- A Survey

    Linton, S. A., 2008, Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics. Berlin, Heidelberg: Springer-Verlag, p. 1-1 1 p.

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

  7. Published

    Symmetric Presentations and Orthogonal Groups

    Campbell, C. M., Havas, G., Linton, S. A. & Robertson, E. F., 1998, The Atlas of Finite Groups: Ten Years On (Birmingham, 1995). Curtis, R. & Wilson, R. (eds.). Cambridge University Press, p. 1-10

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Published

    SymGrid-Par: Designing a framework for executing computational algebra systems on computational grids

    Al Zain, A., Hammond, K., Trinder, P., Linton, S., Loidl, H-W. & Costanti, M., 2007, Computational Science – ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II. Shi, Y., Albada, G. D. V., Dongarra, J. & Sloot, P. M. A. (eds.). Springer, p. 617-624 8 p. (Lecture Notes in Computer Science; vol. 4488).

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

  9. Published

    Space exploration using parallel orbits: a study in parallel symbolic computing

    Janjic, V., Brown, C. M., Neunhoeffer, M., Hammond, K., Linton, S. A. & Loidl, H-W., Sep 2013, Parallel Computing: Accelerating Computational Science and Engineering (CSE). Bader, M., Bode, A., Bungartz, H-J., Gerndt, M., Joubert, G. R. & Peters, F. (eds.). IOS Press, Vol. 25. p. 225-232 8 p. (Advances in Parallel Computing).

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

  10. Published

    Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System

    Al Zain, A. D., Trinder, P. W., Hammond, K., Konovalov, A., Linton, S. & Berthold, J., 2008, PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 99-112 14 p.

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

Previous 1 2 3 Next
Top