AI-assisted maths
Cluster variables in Grassmannian cluster algebras can be classified with HPC by applying the tableaux method up to a fixed number of columns.
In press Advances in Theoretical and Mathematical Physics (2023)
M. Cheung, P. Dechant, Y. He, E. Heyes, E. Hirst, J. Li