1. Open weak CAD and its applications. (May 2017) Authors: Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican Journal: Journal of symbolic computation Issue: Volume 80:Part 3(2017) Page Start: 785 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Proving inequalities and solving global optimization problems via simplified CAD projection. (January 2016) Authors: Han, Jingjun; Jin, Zhi; Xia, Bican Journal: Journal of symbolic computation Issue: Volume 72(2016) Page Start: 206 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗