Resultant-based Elimination for Skew Polynomials

We propose resultant based methods for elimination of indeterminates of skew polynomial systems. We start with defining the concept of resultant for bivariate skew polynomials by Dieudonné determinant, and then applying a modular technique to improve the efficiency of the method. We also consider the case of almost commutative rings where the resultant becomes well defined.