Skip to content

Research at St Andrews

University > Research portal > Research publications > Algorithmic Generalisations of Small Cancellation Theory

Algorithmic Generalisations of Small Cancellation Theory

Research output: Contribution to journal › Article

Author(s)

Max Neunhoeffer, Colva Mary Roney-Dougal, Stephen Alexander Linton, Richard Parker, Jeffrey Paul Burdges

School/Research organisations

Details

Original languageEnglish
JournalNot yet known
Publication statusIn preparation - 2013

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

View graph of relations

Related by author

  1. GAP package Small Cancellation Theory

    Neunhoeffer, M., Roney-Dougal, C. M., Burdges, J. P., Linton, S. A. & Parker, R. A., 2013, (In preparation)

    Research output: Non-textual form › Software

  2. GAP package recog: a GAP package that implements a methods for constructive recognition

    Neunhoeffer, M., Seress, A., Brooksbank, P., Celler, F., Howe, S., Law, M., Linton, S., Malle, G., Niemeyer, A., O'Brien, E. & Roney-Dougal, C., 2009

    Research output: Non-textual form › Software

  3. Groupoids and Conditional Symmetry

    Gent, I. P., Kelsey, T. W., Linton, S. A., Pearson, J., Roney-Dougal, C. M. & Bessiere, C., Sep 2007, p. 823-830.

    Research output: Contribution to conference › Paper

  4. 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 proceeding › Conference contribution

  5. 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 proceeding › Conference contribution

Related by journal

  1. Constructive Recognition of Sp_{2n}(q) in its Natural Representation

    Neunhoeffer, M. & Seress, A., 2014, (In preparation) In : Not yet known.

    Research output: Contribution to journal › Article

  2. A cryptographic hash function using product replacement

    Neunhoeffer, M., 2013, (In preparation) In : Not yet known.

    Research output: Contribution to journal › Article

  3. Constructive Recognition of SL(n,q) in its Natural Representation

    Neunhoeffer, M. & Seress, A., 2013, (In preparation) In : Not yet known.

    Research output: Contribution to journal › Article

  4. Finding normal subgroups

    Neunhoeffer, M., 2013, (In preparation) In : Not yet known.

    Research output: Contribution to journal › Article

ID: 5336865

Top