Testing Linear Dependence of Hyperexponential Elements ∗ (2008)
Ziming Li, Min Wu, Dabin Zheng
A Wronskian (resp. Casoratian) criterion is useful to test linear dependence of elements in a differential (resp. difference) field over constants. We generalize this criterion for invertible...
On a characterization of quasicyclic groups (2007)
Dabin Zheng, Yujie Ma, Heguo Liu
Let G be an infinite solvable group (resp. an infinite group properly containing its commutator subgroup G'). We prove that G is isomorphic to a quasicyclic group if and only if all proper normal...
A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules (2006)
Li, Ziming, Singer, Michael F., Wu, Min, Zheng, Dabin
We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associated systems and...
Determining whether a multivariate hyperexponential function is algebraic (2006)
Abstract. Let F = C(x1,..., xℓ, xℓ+1,..., xm), where x1,..., xℓ are continuous variables, and xℓ+1,..., xm are discrete variables. We show that a hyperexponential function, which is algebraic...