22 citations · 23 across the 3 of their papers we have counts for
8 papers
A Prolog assisted search for new simple Lie algebras
David Cushing, George W. Stagg, David I. Stewart
We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search fo…
Spin-up of a superfluid vortex lattice driven by rough boundaries
N. A. Keepfer, G. W. Stagg, L. Galantucci +2
We study numerically the formation of a vortex lattice inside a rotating bucket containing superfluid helium, paying attention to an important feature which is practically unavoida…
The Graph Curvature Calculator and the curvatures of cubic graphs
David Cushing, Riikka Kangaslampi, Valtteri Lipiäinen +2
We classify all cubic graphs with either non-negative Ollivier-Ricci curvature or non-negative Bakry-Émery curvature everywhere. We show in both curvature notions that the non-nega…
Quantum ferrofluid turbulence
T. Bland, G. W. Stagg, L. Galantucci +2
We study the elementary characteristics of turbulence in a quantum ferrofluid through the context of a dipolar Bose gas condensing from a highly non-equilibrium thermal state. Our…
The additive structure of the squares inside rings
David Cushing, G. W. Stagg
When defining the amount of additive structure on a set it is often convenient to consider certain sumsets; Calculating the cardinality of these sumsets can elucidate the set's und…
Vortex scattering by impurities in a Bose-Einstein condensate
A. Griffin, G. W. Stagg, N. P. Proukakis +1
Understanding quantum dynamics in a two-dimensional Bose-Einstein condensate (BEC) relies on understanding how vortices interact with each others microscopically and with local imp…