1 citations · 4 across the 6 of their papers we have counts for
10 papers
Semigroup algorithmic problems in metabelian groups
Ruiwen Dong
We consider semigroup algorithmic problems in finitely generated metabelian groups. Our paper focuses on three decision problems introduced by Choffrut and Karhumäki (2005): the Id…
The Identity Problem in is decidable
Ruiwen Dong
We consider semigroup algorithmic problems in the wreath product . Our paper focuses on two decision problems introduced by Choffrut and Karhumäki (2005)…
Termination of linear loops under commutative updates
Ruiwen Dong
We consider the following problem: given rational matrices and a polyhedral cone , decide whether there exists a n…
Computing error bounds for asymptotic expansions of regular P-recursive sequences
Ruiwen Dong, Stephen Melczer, Marc Mezzarobba
Over the last several decades, improvements in the fields of analytic combinatorics and computer algebra have made determining the asymptotic behaviour of sequences satisfying line…
Semigroup intersection problems in the Heisenberg groups
Ruiwen Dong
We consider two algorithmic problems concerning sub-semigroups of Heisenberg groups and, more generally, two-step nilpotent groups. The first problem is Intersection Emptiness, whi…
Solving homogeneous linear equations over polynomial semirings
Ruiwen Dong
For a subset of , denote by be the semiring of (univariate) polynomials in that are strictly positive on . Let $\mathbb{N}[…
The Identity Problem in nilpotent groups of bounded class
Ruiwen Dong
Let be a unitriangular matrix group of nilpotency class at most ten. We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is…
On the Identity Problem for Unitriangular Matrices of Dimension Four
Ruiwen Dong
We show that the Identity Problem is decidable in polynomial time for finitely generated sub-semigroups of the group of unitriangular inte…
The Gauge Group and Perturbation Semigroup of an Operator System
Rui Dong
The perturbation semigroup was first defined in the case of -algebras by Chamseddine, Connes and van Suijlekom. In this paper, we take as a concrete operator syste…
Differential elimination for dynamical models via projections with applications to structural identifiability
Ruiwen Dong, Christian Goodbrake, Heather A Harrington +1
Elimination of unknowns in a system of differential equations is often required when analysing (possibly nonlinear) dynamical systems models, where only a subset of variables are o…