4 citations · 6 across the 4 of their papers we have counts for
4 papers
On Radically Expanding the Landscape of Potential Applications for Automated Proof Methods
Jeffrey Uhlmann, Jie Wang
In this paper we examine the potential of computer-assisted proof methods to be applied much more broadly than commonly recognized. More specifically, we contend that there are vas…
SpreadCluster: Recovering Versioned Spreadsheets through Similarity-Based Clustering
Liang Xu, Wensheng Dou, Chushu Gao +4
Version information plays an important role in spreadsheet understanding, maintaining and quality improving. However, end users rarely use version control tools to document spreads…
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…
Toric Difference Variety
Xiao-Shan Gao, Zhang Huang, Jie Wang +1
In this paper, the concept of toric difference varieties is defined and four equivalent descriptions for toric difference varieties are presented in terms of difference rational pa…