Related papers: HeLP -- A GAP-package for torsion units in integra…

We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$,…

Vertex fitting code is commonly found within the analysis packages of several HEP experiments, unfortunately it usually deeply packaged inside their software infrastructure, making it cumbersome to use in the context of external…

Current NLP techniques have been greatly applied in different domains. In this paper, we propose a human-in-the-loop framework for robotic grasping in cluttered scenes, investigating a language interface to the grasping process, which…

In a series of papers the present authors and their coworkers have developed a family of algebraic techniques to solve a number of problems in the theory of discrete or continuous dynamical systems and to analyze numerical integrators.…

We report the development of numerical tools for the topological analysis of sub--degree resolution, all--sky maps. Software to be released in the HEALFAST (V0.9) package defines neighbour relationships for the HEALPIX tessellation of the…

We present the Mathematica group theory package GTPack providing about 200 additional modules to the standard Mathematica language. The content ranges from basic group theory and representation theory to more applied methods like crystal…

The CompHEP package was developed for calculations of decay and high energy collision processes with, correspondingly, up to 5 and 4 final particles in the lowest order (tree) approximation. The main idea put into CompHEP was to make…

As is well-known, the homology groups of the complement of a complex hyperplane arrangement are torsion-free. Nevertheless, as we showed in a recent paper [arXiv:1209.3414] the homology groups of the Milnor fiber of such an arrangement can…

Separation logics are widely used for verifying programs that manipulate complex heap-based data structures. These logics build on so-called separation algebras, which allow expressing properties of heap regions such that modifications to a…

Modern industrial systems require updated approaches to safety management, as the tight interplay between cyber-physical, human, and organizational factors has driven their processes toward increasing complexity. In addition to dealing with…

We give a simple argument to obtain $\mathrm{L}^p$-boundedness for heat semigroups associated to uniformly strongly elliptic systems on $\mathbb{R}^d$ by using Stein interpolation between Gaussian estimates and hypercontractivity. Our…

In resent years, the software ecosystem for numerical simulation still remains fragmented, with different algorithms and discretization methods often implemented in isolation, each with distinct data structures and programming conventions.…

We describe two algorithms for finding representatives of the nilpotent orbits of a theta-group. The algorithms have been implemented in the computer algebra system GAP (inside the package SLA). We comment on their performance. We apply the…

We present a new program package for calculating one-loop Feynman integrals, based on a new method avoiding Feynman parametrization and the contraction due to Passarino and Veltman. The package is calculating one-, two- and three-point…

Using vertex algebra techniques, we determine a set of generators for the cohomology ring of the Hilbert schemes of points on an arbitrary smooth projective surface over the field of complex numbers.

HEALPix -- the Hierarchical Equal Area isoLatitude Pixelization -- has become a standard in high-energy and gravitational wave astronomy. Originally developed to improve the efficiency of all-sky Fourier analyses, it is now also utilized to…

We introduce the isoclinism of crossed modules. We also give GAP implementations for constructing the isoclinism families of finite crossed modules and consequently give an enumeration about isoclinic crossed modules existing in the GAP…

We study cohomologies of a curve with an action of a finite $p$-group over a field of characteristic $p$. Assuming the existence of a certain 'magical element' in the function field of the curve, we compute the equivariant structure of the…

This paper is devoted to the study of geometric structures modeled on homogeneous spaces G/P, where G is a real or complex semisimple Lie group and $P\subset G$ is a parabolic subgroup. We use methods from differential geometry and very…

We introduce non-abelian cohomology sets of Hopf algebras with coefficients in Hopf modules. We prove that these sets generalize Serre's non-abelian group cohomology theory. Using descent techniques, we establish that our construction…