Related papers: Computing with small quasigroups and loops
Clustering is a popular unsupervised learning tool often used to discover groups within a larger population such as customer segments, or patient subtypes. However, despite its use as a tool for subgroup discovery and description - few…
We review recent developments in the study of multiple polylogarithms, including the Hopf algebra of the multiple polylogarithms and the symbol map, as well as the construction of single valued multiple polylogarithms and discuss an…
Code loops are certain Moufang $2$-loops constructed from doubly even binary codes that play an important role in the construction of local subgroups of sporadic groups. More precisely, code loops are central extensions of the group of…
An overview of quantum computing and in particular the Hidden Subgroup Problem are presented from a mathematical viewpoint. Detailed proofs are supplied for many important results from the literature, and notation is unified, making it…
Slattery (2007) described computational methods to enumerate, construct, and identify finite groups of squarefree order. We generalise Slattery's result to the class of finite groups that have cyclic Sylow subgroups and provide an…
Quantum groups have been studied within several areas of mathematics and mathematical physics. This has led to different approaches, each of them with their own techniques and conventions. Starting with Hopf algebras, where there is a…
Braidlab is a Matlab package for analyzing data using braids. It was designed to be fast, so it can be used on relatively large problems. It uses the object-oriented features of Matlab to provide a class for braids on punctured disks and a…
This EPTCS volume contains the proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019) held in Prague, Czech Republic, on Sunday 7 April 2019. QAPL 2019 was a satellite event of the European…
In this work we report on a new version of FeynCalc, a Mathematica package widely used in the particle physics community for manipulating quantum field theoretical expressions and calculating Feynman diagrams. Highlights of the new version…
We give two algorithmic procedures to compute the whole set of almost symmetric numerical semigroups with fixed Frobenius number and type, and the whole set of almost symmetric numerical semigroups with fixed Frobenius number. Our…
The category $\mathbf{XSq}$ of crossed squares is equivalent to the category $\mathbf{Cat2}$ of cat$^2$-groups. Functions for computing with these structures have been developed in the package $\mathsf{XMod}$ written using the…
We briefly review numerical methods for calculations beyond one loop and then describe new developments within the method of sector decomposition in more detail. We also discuss applications to two-loop integrals involving several mass…
A connection between the Galois-theoretic approach to semi-abelian homology and the homological closure operators is established. In particular, a generalised Hopf formula for homology is obtained, allowing the choice of a new kind of…
In this work we construct free Moufang loop in the variety generated by code loops. We apply this construction for study the code loops. Moreover, we define and determine all basic representations of code loops of rank 3 and 4.
Groups with commuting inner mappings are of nilpotency class at most two, but there exist loops with commuting inner mappings and of nilpotency class higher than two, called loops of Cs\"org\H{o} type. In order to obtain small loops of…
We describe how the loop group maps corresponding to special submanifolds associated to integrable systems may be thought of as certain Grassmann submanifolds of infinite dimensional homogeneous spaces. In general, the associated families…
This volume contains the proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), held in Grenoble, France, on 12 and 13 April, 2014. QAPL 2014 was a satellite event of the European Joint…
We report our progress on the project for solving larger scale quadratic assignment problems (QAPs). Our main approach to solve large scale NP-hard combinatorial optimization problems such as QAPs is a parallel branch-and-bound method…
We have sorted the SmallGroups library of all the finite groups of order smaller than 2000 to identify the groups that possess a faithful three-dimensional irreducible representation (`irrep') and cannot be written as the direct product of…
Two constructions due to Dr\'apal produce a group by modifying exactly one quarter of the Cayley table of another group. We present these constructions in a compact way, and generalize them to Moufang loops, using loop extensions. Both…