Colva M. Roney-Dougal - Publications

  1. The maximal subgroups of the low-dimensional finite classical groups, with J.N.Bray and D.F.Holt. To appear in the LMS Lecture Note Series, Cambridge University Press.
  2. Constructive homomorphisms for classical groups, with S. H. Murray. Journal of Symbolic Computation, to appear.
  3. Constructing maximal subgroups of orthogonal groups, with D. F. Holt. LMS Journal of Computation and Mathematics, to appear.
  4. Minimal ordering constraintsfor some families of variable symmetries, with A. Grayland, C. Jefferson and I. Miguel. Annals of Mathematics and Artificial Intelligence, to appear.
  5. The primitive groups of degree less than 4096, with H. J. Coutts and M. Quick. Comm. Algebra, to appear.
  6. Snake Lex: An alternative to Double Lex, with A. Grayland and I. Miguel. Proceedings of CP2009, Springer 2009.
  7. In search of a better method to break row and column symmetries, with A. Grayland and I. Miguel. Proceedings of SARA 09, to appear.
  8. Confluence of reduction rules for lexicographic ordering constraints, with A. Grayland and I. Miguel. Proceedings of SARA 09, to appear.
  9. A polynomial-time reduction algorithm for groups of semilinear or subfield class, with J. Carlson and M. Neunhoeffer. J. Algebra. 322, (2009), 613-637.
  10. Surveys in Combinatorics, 2009, with S.Huczynska and J.D.Mitchell (eds). LMS Lecture Note Series, 365, Cambridge University Press 2009.
  11. Certain classical groups are not well-defined, with J.N.Bray and D.F.Holt. Journal of Group Theory, 12 (2009) 171-180.
  12. Confluence of reduction rules for lexicographic ordering constraints, with A.Grayland and I.Miguel. Proceedings of SymCon08, 2008.
  13. Groupoids and Conditional Symmetry, with I.P.Gent, T.Kelsey, J.Pearson and S.Linton. Proceedings of CP2007. Springer, 2007.
  14. Minimal Ordering Constraints for some Families of Variable Symmetries, with A.Grayland and I.Miguel. Proceedings of SymCon07, 2007.
  15. Rule 1,2-Minimal Ordering Constraints for some Families of Variable Symmetries, with A.Grayland and I.Miguel. Proceedings of International Symmetry Conference, Edinburgh 2007.
  16. Computing the primitive permutation groups of degree less than 1000, with W.R.Unger, in ``Discovering Mathematics with Magma", Springer, 2006.
  17. Symmetry and Consistency, with Ian Gent, Tom Kelsey and Steve Linton. Proceedings of CP2005. Springer, 2005.
  18. The primitive groups of degree less than 2500. J.Algebra. 292, (2005), 154-183.
  19. Constructing maximal subgroups of classical groups, with Derek F. Holt. LMS Journal of Computation and Mathematics, 8, (2005) 46-79. Available from the LMS website . An early version appeared as CIRCA preprint 2004/5
  20. New developments in symmetry breaking in search using computational group theory, with Tom Kelsey and Steve Linton. Proceedings of AISC 2004, Springer, 2004. Also available as a CIRCA preprint 2004/6
  21. Tractable symmetry breaking using restricted search trees, with Ian P. Gent, Tom Kelsey and Steve Linton. Proceedings of ECAI-2004. Also available as a CIRCA preprint 2004/3
  22. Conjugacy of subgroups of the general linear group. Experimental Mathematics, 13 (2), 2004. Also available as a CIRCA preprint 2004/2
  23. Affine groups with two self-paired orbitals. Communications in Algebra. 31, No.9, 4359-4370 (2003).
  24. The affine primitive permutation groups of degree less than 1000, with W.R. Unger. Journal of Symbolic Computation, 35, (2003) 421--439.
  25. Groups with a unique nondiagonal self-paired orbital. Journal of Group Theory, 5 (2002) 285-292
  26. Permutation groups with a unique nondiagonal self-paired orbital. PhD Thesis. University of London, 2001.