4 citations · 8 across the 10 of their papers we have counts for
4 papers · 1 filter
Capturing properties of planar diagrams in Lean proof assistant software
Alastair Litterick, Alexei Vernitski, Billy Woods
Automated proof assistants are a technology pre-empting mistakes in mathematics. In our practice we have seen that reasoning about planar diagrams is difficult to both humans and c…
Groups of permutations preserving orientation (parity) of subsets of a fixed size, and related monoids
Vitor Fernandes, Alexei Vernitski
We study permutations on n elements preserving orientation (parity) of every subset of size k. We describe all groups of these permutations. Unexpectedly, these groups (except for…
Orientation-preserving and orientation-reversing mappings: a new description
Peter M. Higgins, Alexei Vernitski
We characterise the respective semigroups of mappings that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and or…
Encoding shortest paths in graphs assuming the code is queried using bit-wise comparison
Gokce Caylak Kayaturan, Alexei Vernitski
One model of message delivery in a computer network is based on labelling each edge by a subset of a (reasonably small) universal set, and then encoding a path as the union of the…