Skip to content

Research at St Andrews

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

Research output: Non-textual formSoftware

Author(s)

Max Neunhoeffer, Akos Seress, Peter Brooksbank, Frank Celler, Stephen Howe, Maska Law, Stephen Linton, Gunter Malle, Alice Niemeyer, Eamonn O'Brien, Colva Roney-Dougal

School/Research organisations

Abstract

This GAP package provides an implementation of methods to do group recognition using composition trees as specified in the recogbase package. This package was started and mostly developped by Max Neunhöffer and Ákos Seress, but many other people have contributed code. Everybody who contributes at least one line of code automatically becomes an author. The current list of authors is: Peter Brooksbank, Frank Celler, Stephen Howe, Maska Law, Steve Linton, Gunter Malle, Max Neunhöffer, Alice Niemeyer, Eamonn O'Brien, Colva M. Roney-Dougal and Ákos Seress. If you want or are able to contribute, please do! This package is still work in progress, in particular special code for particular leaf nodes and verification using presentations is still largely missing. However, it already provides working Monte Carlo algorithms.
Close

Details

Original languageEnglish
Publication statusPublished - 2009

    Research areas

  • constructive recognition, matrix group recognition project

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 formSoftware

  2. Algorithmic Generalisations of Small Cancellation Theory

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

    Research output: Contribution to journalArticle

  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 conferencePaper

  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 proceedingConference 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 proceedingConference contribution

ID: 5337044

Top