activity
20162019
most citedOn Radically Expanding the Landscape of Potential Applications for Automated Proof Methods

4 citations · 6 across the 4 of their papers we have counts for

collaborators
Showing math.ACShow all

1 paper · 1 filter

math.AC2016

Difference Index of Quasi-Prime Difference Algebraic Systems

Jie Wang

This paper is devoted to studying difference indices of quasi-prime difference algebraic systems. We define the quasi dimension polynomial of a quasi-prime difference algebraic sys…