Related papers: HeLP -- A GAP-package for torsion units in integra…
CLP(H) is an instantiation of the general constraint logic programming scheme with the constraint domain of hedges. Hedges are finite sequences of unranked terms, built over variadic function symbols and three kinds of variables: for terms,…
We suggest a new, alternative algebraic method for computation of geometrical quantities by means of the embedding of local loops into Lie groups.
The group ring of the automorphism group of a p-group is studied using the automorphism groups of subgroups and quotient groups of P.
Mathematica package LiteRed is described. It performs the heuristic search of the symbolic IBP reduction rules for loop integrals. It implements also several convenient tools for the search of the symmetry relations, construction of the…
simpcomp is an extension to GAP, the well known system for computational discrete algebra. It allows the user to work with simplicial complexes. In the latest version, support for simplicial blowups and discrete normal surfaces was added,…
The development of a generic and effective force model for semi-automatic or manual virtual assembly with haptic support is not a trivial task, especially when the assembly constraints involve complex features of arbitrary shape. The…
We provide a bottom up construction of torsion generators for weighted homology of a weighted complex over a discrete valuation ring $R=\mathbb{F}[[\pi]]$. This is achieved by starting from a basis for classical homology of the $n$-th…
In this paper, we discuss how to apply GAP to do computations in modular representation theory. Of particular interest is the generating number of a group algebra, which measures the failure of the generating hypothesis in the stable module…
In radiation therapy, mathematical methods have been used for optimizing treatment planning for delivery of sufficient dose to the cancerous cells while keeping the dose to critical surrounding structures minimal. This optimization problem…
The calculation of one loop integrals at finite temperature requires the evaluation of certain series, which converge very slowly or can even be divergent. Here we review a new method, recently devised by the author, for obtaining…
Heaps are para-associative ternary operations bijectively exemplified by groups via the operation $(x,y,z) \mapsto x y^{-1} z$. They are also ternary self-distributive, and have a diagrammatic interpretation in terms of framed links.…
This paper presents a brief but comprehensive introduction to certain mathematical techniques in General Relativity. Familiar mathematical procedures are investigated taking into account the complications of introducing a non trivial…
The Simplex algorithm for solving linear programs-one of Computing in Science & Engineering's top 10 most influential algorithms of the 20th century-is an important topic in many algorithms courses. While the Simplex algorithm relies on…
The generalized uncertainty principle (GUP) is a gravitational correction of Heisenberg's uncertainty principle, which allows us to probe some features of quantum gravity even without the full theory. We are used to working with metric…
This manuscript is devoted to the study of the concept of a generating subset (a.k.a. Hopf image of a morphism) in the setting of locally compact quantum groups. The aim of this paper is to provide an accurate description of the Hopf image…
This paper presents an analytical model and a geometric numerical integrator for a tethered spacecraft model that is composed of two rigid bodies connected by an elastic tether. This model includes important dynamic characteristics of…
This paper surveys some results and methods in topological transformation groups.
In this paper, we give an elementary new method for determining the rational points on algebraic curves using torsion packets. We also provide examples of curves for which all rational points can be completely determined by our method.
In this paper, we introduce HugNLP, a unified and comprehensive library for natural language processing (NLP) with the prevalent backend of HuggingFace Transformers, which is designed for NLP researchers to easily utilize off-the-shelf…
In this paper we compute a presentation for the group of ring motions of the split union of a Hopf link with Euclidean components and a Euclidean circle. A key part of this work is the study of a short exact sequence of groups of ring…