This work considers concurrent programs formed of processes connected by an underlying network. The symmetries of the network may be used to reduce the state space of the program, by grouping together similar global states. This can result in an exponential reduction for highly symmetric networks, but it is much less effective for many networks, such as rings, which have limited global symmetry...

Hrushovski's suggestion, given in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012], to capture the structure 1-analysable covers a theory T using simplicial groupoids definable is realized here. The ideas Haykazyan Moosa, found ["Functoriality uniformity groupoid-cover correspondence," Annals Pure Applied Logic 2018] are used, extended, define an equivalence...

Abstract VB-groupoids are vector bundles in the category of Lie groupoids. They encompass several classical objects, including group representations and 2-vector spaces. Moreover, they provide geometric pictures for 2-term up to homotopy We attach every VB-groupoid a cochain complex controlling its deformations discuss fundamental features, such as Morita invariance van Est theorem. Several exa...

The evaluation of several polynomial forms is considered. New algorithms for the evaluation of a polynomial and its derivative, a polynomial at two points, a polynomial of high degree using multiple precision arithmetic, and a bivariate polynomial of the form ~a(i)xiy "-i are presented. Various "coefficient splitting techniques" are introduced in these algorithms and the optimality of certain t...