research
∙
09/19/2023
Recent advances in algorithmic problems for semigroups
In this article we survey recent progress in the algorithmic theory of m...
share
research
∙
09/15/2023
Subgroup and Coset Intersection in abelian-by-cyclic groups
We consider two decision problems in infinite groups. The first problem ...
research
∙
04/25/2023
Semigroup algorithmic problems in metabelian groups
We consider semigroup algorithmic problems in finitely generated metabel...
research
∙
02/12/2023
The Identity Problem in ℤ≀ℤ is decidable
We consider semigroup algorithmic problems in the wreath product ℤ≀ℤ. Ou...
research
∙
02/02/2023
Termination of linear loops under commutative updates
We consider the following problem: given d × d rational matrices A_1, …,...
research
∙
01/23/2023
The Identity Problem in the special affine group of ℤ^2
We consider semigroup algorithmic problems in the Special Affine group 𝖲...
research
∙
12/22/2022
Computing error bounds for asymptotic expansions of regular P-recursive sequences
Over the last several decades, improvements in the fields of analytic co...
research
∙
09/27/2022
Solving homogeneous linear equations over polynomial semirings
For a subset B of ℝ, denote by U(B) be the semiring of (univariate) poly...
research
∙
09/27/2022
Semigroup intersection problems in the Heisenberg groups
We consider two algorithmic problems concerning sub-semigroups of Heisen...
research
∙
08/03/2022
On the Identity Problem and the Group Problem in nilpotent groups
Let 𝒢 be a finite set of matrices in a unipotent matrix group G over ℚ, ...
research
∙
02/10/2022
On the Identity Problem for Unitriangular Matrices of Dimension Four
We show that the Identity Problem is decidable in polynomial time for fi...
research
∙
11/01/2021