Manchester Algebra Seminar - David Cushing
|Dates:||6 June 2023|
|Times:||13:00 - 14:00|
|What is it:||Seminar|
|Organiser:||Department of Mathematics|
|Who is it for:||University staff, Current University students|
Speaker: David Cushing - Manchester
Prolog whispering: Searching for new simple Lie Algebras
We provide an exploration of the utilisation of Prolog programming and the CLP(FD) library for conducting computer investigations in the realm of pure mathematics. Focusing on the search for new simple Lie algebras over GF(2), we draw inspiration from the work of Grishkov et al. and specifically target those with a thin decomposition. Our study successfully addresses one of their conjectures and extends the findings by extrapolating the existence of two novel infinite families of simple Lie algebras. Additionally, we contribute to the field by identifying seven sporadic examples in dimension 31.
The talk emphasises the process of writing code to open up a dialogue with Prolog. We discuss the implementation of fundamental techniques such as symmetry breaking, which aids in efficient exploration of the solution space. Furthermore, we delve into the theory of constraint propagation and its significance in refining and optimising the search process. We aim to give insights into the art of "Prolog whispering", encouraging the adoption of this approach to various areas of pure mathematics.
Tea and biscuits 12:45 in the foyer
Travel and Contact Information
Alan Turing Building