Derek Holt

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Final Classification

Classification Trees

Ensemble Classifier

Equational Theories

Top Venues

J. Symb. Comput.

Publications

Derek Holt, Yong Yang
Regular orbits of finite primitive solvable groups, the final classification. J. Symb. Comput. 116 (2023)
Derek Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal
Polynomial-time proofs that groups are hyperbolic. J. Symb. Comput. 104 (2021)