The Graph Curvature Calculator and the Curvatures of Cubic Graphs. - David Cushing; Riikka Kangaslampi; Valtteri Lipiäinen; Shiping Liu; George W. Stagg (Exp. Math., 2022)

A Prolog assisted search for new simple Lie algebras. - David Cushing; George W. Stagg; David I. Stewart (Math. Comput., 2023)