 | 2009 |
|---|
| 5 |       | Xiaolin Qin,
Yong Feng,
Jingwei Chen,
Jingzhong Zhang:
Finding Exact Minimal Polynomial by Approximations
CoRR abs/0902.0828: (2009) |
| 2008 |
|---|
| 4 | | Yong Feng,
Jingzhong Zhang,
Xiaolin Qin,
Xun Yuan:
Obtaining Exact Interpolation Multivariate Polynomial by Approximation
CoRR abs/0809.1476: (2008) |
| 2004 |
|---|
| 3 | | Jingzhong Zhang,
Chuanzhong Li:
An Introduction to Logical Animation.
IWMM/GIAE 2004: 418-428 |
| 2002 |
|---|
| 2 | | Lu Yang,
Jingzhong Zhang,
Weinian Zhang:
On Number of Circles Intersected by a Line.
J. Comb. Theory, Ser. A 98(2): 395-405 (2002) |
| 1990 |
|---|
| 1 |  | Jingzhong Zhang,
Lu Yang,
Mike Deng:
The Parallel Numerical Method of Mechanical Theorem Proving.
Theor. Comput. Sci. 74(3): 253-271 (1990) |
