| |
| 2005 | ||
|---|---|---|
| 2 | EE | Weiming Wang, Xinze Lian: A new algorithm for symbolic integral with application. Applied Mathematics and Computation 162(2): 949-968 (2005) |
| 1 | EE | Weiming Wang, Xinze Lian: Computations of multi-resultant with mechanization. Applied Mathematics and Computation 170(1): 237-257 (2005) |
| 1 | Weiming Wang | [1] [2] |