The Library
Browse by Warwick Author
Up a level |
Number of items: 48.
2023
Duncan, Andrew, Evetts, Alex, Holt, Derek F. and Rees, Sarah (2023) Using edt0l systems to solve some equations in the solvable Baumslag-Solitar groups. Journal of Algebra, 630 . pp. 434-456. doi:10.1016/j.jalgebra.2023.04.020 ISSN 0021-8693.
Baumeister, Barbara, Holt, Derek F., Neaime, Georges and Rees, Sarah (2023) Isomorphism and non-isomorphism for interval groups of type D. Journal of Algebra, 629 . pp. 399-423. doi:10.1016/j.jalgebra.2023.03.040 ISSN 0021-8693.
Holt, Derek and Yang, Yong (2023) Regular orbits of finite primitive solvable groups, the final classification. Journal of Symbolic Computation, 116 . pp. 139-145. doi:10.1016/j.jsc.2022.08.019 ISSN 0747-7171.
2022
Holt, Derek F. and Rees, Sarah (2022) The compressed word problem in relatively hyperbolic groups. Journal of Algebra, 607 (Part B). pp. 305-343. doi:10.1016/j.jalgebra.2022.01.001 ISSN 0021-8693.
Holt, Derek F., Royle, Gordon and Tracey, Gareth M. (2022) The transitive groups of degree 48 and some applications. Journal of Algebra, 6077 (Part A). pp. 372-386. doi:10.1016/j.jalgebra.2021.06.018 ISSN 0021-8693.
Holt, Derek F. and Tracey, Gareth M. (2022) Comparing the order and the minimal number of generators of a finite irreducible linear group. Journal of Algebra, 603 . pp. 260-280. doi:10.1016/j.jalgebra.2022.02.027 ISSN 0021-8693.
2021
Holt, Derek F., Linton, Stephen, NeunhΓΆffer, Max, Parker, Richard, Pfeiffer, Markus and Roney-Dougal, Colva M. (2021) Polynomial-time proofs that groups are hyperbolic. Journal of Symbolic Computation, 104 . pp. 419-475. doi:10.1016/j.jsc.2020.08.003 ISSN 0747-7171.
2020
Holt, Derek F., Leedham-Green, C. R. and O'Brien, E. A. (2020) Constructing composition factors for a linear group in polynomial time. Journal of Algebra, 561 . pp. 215-236. doi:10.1016/j.jalgebra.2020.02.018 ISSN 0021-8693.
Holt, Derek F. and Royle, Gordon (2020) A census of small transitive groups and vertex-transitive graphs. Journal of Symbolic Computation, 101 . pp. 51-60. doi:10.1016/j.jsc.2019.06.006 ISSN 0747-7171.
Ciobanu, Laura, Holt, Derek F. and Rees, Sarah (2020) Equations in groups that are virtually direct products. Journal of Algebra, 545 . pp. 88-999. doi:10.1016/j.jalgebra.2018.10.044 ISSN 0021-8693.
2019
Cannon, John J., Holt, Derek F. and Unger, W. R. (2019) The use of permutation representations in structural computations in large finite matrix groups. Journal of Symbolic Computation, 95 . pp. 26-38. doi:10.1016/j.jsc.2018.09.001 ISSN 0747-7171.
2018
Holt, Derek F., Lohrey, Markus and Schleimer, Saul (2018) Compressed decision problems in hyperbolic groups. In: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), Berlin, Germany, 13β16 Mar 2019. Published in: Leibniz International Proceedings in Informatics (LIPIcs) 34:1-34:16. doi:10.4230/LIPIcs.STACS.2019.34 ISSN 1868-8969.
Ciobanu, Laura, Holt, Derek F. and Rees, Sarah (2018) The generalised word problem in hyperbolic and relatively hyperbolic groups. Journal of Algebra, 516 . pp. 149-171. doi:10.1016/j.jalgebra.2018.09.008 ISSN 0021-8693.
Dehornoy, Patrick, Holt, Derek F. and Rees, Sarah (2018) Multifraction reduction IV : padding and ArtinβTits monoids of sufficiently large type. Journal of Pure and Applied Algebra, 222 (12). pp. 4082-4098. doi:10.1016/j.jpaa.2018.02.021 ISSN 0022-4049.
Cannon, John J., Holt, Derek F. and Unger, William R. (2018) The use of permutation representations in structural computations in large finite matrix groups. Journal of Symbolic Computation, 95 . pp. 26-38. doi:10.1016/j.jsc.2018.09.001 ISSN 0747-7171.
2017
Holt, Derek F. and Rees, Sarah (2017) Some closure results for C-approximable groups. Pacific Journal of Mathematics, 287 (2). pp. 393-409. doi:10.2140/pjm.2017.287.393 ISSN 0030-8730.
Sinanan, S. K. and Holt, Derek F. (2017) Algorithms for polycyclic-by-finite groups. Journal of Symbolic Computation, 79 (Part 2). pp. 269-284. doi:10.1016/j.jsc.2016.02.008 ISSN 0747-7171.
Chang, Yanxun, Fan, Bingli, Feng, Tao, Holt, Derek F. and Ostergard, Patric (2017) Classification of Cyclic Steiner Quadruple Systems. Journal of Combinatorial Designs, 25 (3). pp. 103-121. doi:10.1002/jcd.21530 ISSN 1063-8539.
2016
Ciobanu, Laura, Hermiller, Susan, Holt, Derek F. and Rees, Sarah (2016) Conjugacy languages in groups. Israel Journal of Mathematics, 211 (1). pp. 311-347. doi:10.1007/s11856-015-1274-5 ISSN 0021-2172.
2015
Ciobanu, Laura, Holt, Derek F. and Rees, Sarah (2015) Rapid decay and Baum-Connes for large type Artin groups. Transactions of the American Mathematical Society, 368 (9). pp. 6103-6129. doi:10.1090/tran/6532 ISSN 0002-9947.
BÀÀrnhielm, Henrik, Holt, Derek F., Leedham-Green, C. R. and O'Brien, E. A. (2015) A practical model for computation with matrix groups. Journal of Symbolic Computation, 68 . pp. 27-60. doi:10.1016/j.jsc.2014.08.006 ISSN 0747-7171.
2014
Brittenham, Mark, Hermiller, Susan and Holt, Derek F. (2014) Algorithms and topology of Cayley graphs for groups. Journal of Algebra, Volume 415 . pp. 112-136. doi:10.1016/j.jalgebra.2014.06.001 ISSN 0021-8693.
2013
Cannon, John J. and Holt, Derek F. (2013) Computing projective indecomposable modules and higher cohomology groups. Experimental Mathematics, Volume 22 (Number 1). pp. 51-59. doi:10.1080/10586458.2013.736831 ISSN 1944-950X.
Brough, Tara Rose and Holt, Derek F. (2013) Finitely generated soluble groups and their subgroups. Communications in Algebra, Volume 41 (Number 5). pp. 1790-1799. doi:10.1080/00927872.2011.651758 ISSN 0092-7872.
Holt, Derek F. and Roney-Dougal, Colva M. (2013) Minimal and random generation of permutation and matrix groups. Journal of Algebra, Volume 387 (Number ). pp. 195-214. doi:10.1016/j.jalgebra.2013.03.035 ISSN 0021-8693.
Ciobanu, Laura, Holt, Derek F. and Rees, Sarah (2013) Rapid decay is preserved by graph products. Journal of Topology and Analysis, Volume 5 (Number 2). pp. 225-237. doi:10.1142/S1793525313500052 ISSN 1793-5253.
2012
Holt, Derek F. and Rees, Sarah (2012) Artin groups of large type are shortlex automatic with regular geodesics. Proceedings of the London Mathematical Society, Vol.104 (No.3). pp. 486-512. doi:10.1112/plms/pdr035 ISSN 0024-6115 .
Holt, Derek F. and Rees, Sarah (2012) Generalising some results about right-angled Artin groups to graph products of groups. Journal of Algebra, Vol.371 . pp. 94-104. doi:10.1016/j.jalgebra.2012.07.049 ISSN 00218693.
Hoffmann, Michael, Holt, Derek F., Owens, Matthew D. and Thomas, Richard M. (2012) Semigroups with a context-free word problem. In: Developments in Language Theory : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Springer, pp. 97-108. ISBN 9783642316524
2011
Holt, Derek F., Rees, Sarah and RΓΆver, Claas E. (2011) Groups with context-free conjugacy problems. International Journal of Algebra and Computation, Vol.21 (No.1-2). pp. 193-216. doi:10.1142/S0218196711006133 ISSN 0218-1967.
2010
Havas, George and Holt, Derek F. (2010) On Coxeter's families of group presentations. Journal of Algebra, Vol.324 (No.5). pp. 1076-1082. doi:10.1016/j.jalgebra.2010.02.043 ISSN 0021-8693.
Holt, Derek F. and Roney-Dougal, Colva M. (2010) Constructing maximal subgroups of orthogonal groups. LMS Journal of Computation and Mathematics, Vol.13 . pp. 164-191. doi:10.1112/S1461157009000035 ISSN 1461-1570.
Holt, Derek F. (2010) Enumerating subgroups of the symmetric group. In: AMS Special Session on Computational Group Theory, Western Michigan Univ, Kalamazoo, MI, October 17-19, 2008. Published in: Contemporary Mathematics, Vol.511 pp. 33-37. ISBN 978-0-8218-4805-0. doi:10.1090/conm/511 ISSN 0271-4132.
Holt, Derek F. (2010) Garside groups have the falsification by fellow-traveller property. Groups, Geometry, and Dynamics, Vol.4 (No.4). pp. 777-784. doi:10.4171/GGD/105 ISSN 1661-7207.
2009
Bray, John N., Holt, Derek F. and Roney-Dougal, Colva M. (2009) Certain classical groups are not well-defined. Journal of Group Theory, Vol.12 (No.2). pp. 171-180. doi:10.1515/JGT.2008.069 ISSN 1433-5883.
2008
Holt, Derek F., Rees, Sarah and Shapiro, Michael (2008) Groups that do and do not have growing context-sensitive word problem. International Journal of Algebra and Computation, Volume 18 (Number 7). pp. 1179-1191. doi:10.1142/S0218196708004834 ISSN 0218-1967.
Holt, Derek F., Owens, Matthew D. and Thomas, R. M. (2008) Groups and semigroups with a one-counter word problem. Journal of the Australian Mathematical Society, Vol.85 (No.2). pp. 197-209. doi:10.1017/S1446788708000864 ISSN 1446-7887.
Hermiller, Susan, Holt, Derek F. and Rees, Sarah (2008) Groups whose geodesics are locally testable. International Journal of Algebra and Computation, Volume 18 (Number 5). pp. 911-923. doi:10.1142/S0218196708004676 ISSN 0218-1967.
Holt, Derek F. and Stather, Mark J. (2008) Computing a chief series and the soluble radical of a matrix group over a finite field. LMS Journal of Computation and Mathematics, Volume 11 . pp. 223-251. doi:10.1112/S1461157000000589 ISSN 1461-1570.
Cannon, John J. and Holt, Derek F. (2008) The Transitive permutation groups of degree 32. Experimental Mathematics, Vol.17 (No.3). pp. 307-314. doi:10.1080/10586458.2008.10129046 ISSN 1058-6458.
2007
Gilman, Robert H., Hermiller, Susan, Holt, Derek F. and Rees, Sarah (2007) A characterisation of virtually free groups. Archiv der Mathematik, Vol.89 (No.4). pp. 289-295. doi:10.1007/s00013-007-2206-3 ISSN 0003-889X.
Hermiller, Susan, Holt, Derek F. and Rees, Sarah (2007) Star-free geodesic languages for groups. International Journal of Algebra and Computation, Vol.17 (No.2). pp. 329-345. doi:10.1142/S0218196707003603 ISSN 0218-1967.
2006
Cannon, John J. and Holt, Derek F. (2006) Computing conjugacy class representatives in permutation groups. Journal of Algebra, Vol.300 (No.1). pp. 213-222. doi:10.1016/j.jalgebra.2006.02.014 ISSN 0021-8693.
Holt, Derek F. and O'Brien, E.A. (2006) A computer-assisted analysis of some matrix groups. Journal of Algebra, Vol.300 (No.1). pp. 199-212. doi:10.1016/j.jalgebra.2006.02.019 ISSN 0021-8693.
2005
Holt, Derek F., Rees, Sarah, RΓΆver, Claas E. and Thomas, Richard M. (2005) Groups with context-free co-word problem. Journal of the London Mathematical Society, Vol.71 (No.3). pp. 643-657. doi:10.1112/S002461070500654X ISSN 0024-6107.
2003
Holt, Derek F. and RΓΆver, Claas E. (2003) On real-time word problems. Journal of the London Mathematical Society, Vol.67 (No.2). pp. 289-301. doi:10.1112/S0024610702003770 ISSN 0024-6107.
2002
Joy, Mike, Griffiths, Nathan, Stott, Mary, Harley, Jon, Wattebot, Cathy and Holt, Derek F. (2002) Coresoft : a framework for student data. In: 3rd Annual Conference of the LTSN Centre for Information and Computer Sciences, Loughborough, UK, 27-29 Aug 2002. Published in: 3rd Annual Conference of the LTSN Centre for Information and Computer Sciences pp. 31-36. ISBN 9780954192716.
2001
Holt, Derek F. and Rees, Sarah (2001) Solving the word problem in real time. Journal of the London Mathematical Society, Vol.63 (No.3). pp. 623-639. doi:10.1017/S0024610701002083 ISSN 0024-6107 .
This list was generated on Thu Mar 28 12:45:49 2024 GMT.